WorksComputer Science
A Neuro-Symbolic Reasoning Engine for Compilation-Free Patch Presence Testing
Versions
Every version keeps its own PDF, citation, and review record — endorsements are bound to the version they examined and never carry forward silently.