Autoformalizing Mathematical Statements by Symbolic Equivalence and Semantic Consistency Zenan Li1 Yifan Wu2 Zhaoyu Li3 Xinming Wei 2
–Neural Information Processing Systems
This work was partially done during Zenan's and Yifan's internships at MSRA. 38th Conference on Neural Information Processing Systems (NeurIPS 2024).
Neural Information Processing Systems
Oct-10-2025, 04:11:27 GMT
- Country:
- Asia
- China > Jiangsu Province
- Nanjing (0.04)
- Singapore (0.04)
- China > Jiangsu Province
- Europe
- Germany > Berlin (0.04)
- Italy (0.04)
- United Kingdom > England
- Cambridgeshire > Cambridge (0.04)
- North America > Canada
- Asia
- Genre:
- Research Report
- Experimental Study (1.00)
- New Finding (0.93)
- Research Report
- Industry:
- Education (0.46)
- Technology: