Picture for Xinming Wei

Xinming Wei

Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency

Add code
Oct 28, 2024
Figure 1 for Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
Figure 2 for Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
Figure 3 for Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
Figure 4 for Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
Viaarxiv icon