Picture for Xinming Wei

Xinming Wei

Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency

Add code
Oct 28, 2024
Viaarxiv icon