Picture for Marvin Janzen

Marvin Janzen

Revisiting Differential Verification: Equivalence Verification with Confidence

Add code
Oct 26, 2024
Viaarxiv icon