Skip to content
AI.info
News
Tools
Research
Learn
AI.info
Amit Kachroo
Explore Amit Kachroo on AI.info.
Functionally Equivalent or Not? Graph-Grounded Differential Surrogate Execution for Code Equivalence
Page 1