会员服务
The Faithfulness Gap: Certifying Semantic Equivalence Between Natural-Language and Formal Mathematical Statements
Arxiv
0+阅读 · 6月15日
Symbolic Informalization: Fluent, Productive, Multilingual
Arxiv
0+阅读 · 6月15日
Evaluating the Robustness of Proof Autoformalization in Lean 4
Arxiv
0+阅读 · 6月12日
DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems
Arxiv
0+阅读 · 4月6日
Auto formalisation of Goedel's Second Incompleteness Theorem in Binary Recursive Arithmetic
Arxiv
0+阅读 · 6月2日
Auto formalisation of Chaitin and of the surprise incompleteness Theorem
Arxiv
0+阅读 · 6月9日
参考链接
微信扫码咨询专知VIP会员
Top