会员服务
Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories
Arxiv
0+阅读 · 6月16日
Sorries Are Not the Hard Part: An Expert-Review Case Study of a Semi-Autonomous Formalization
Arxiv
0+阅读 · 6月11日
A formal proof of the Ramanujan--Nagell theorem in Lean 4
Arxiv
0+阅读 · 6月1日
Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover
Arxiv
0+阅读 · 5月25日
Well-Scoped Locally Nameless Representation of Syntax
Arxiv
0+阅读 · 5月9日
Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
Arxiv
0+阅读 · 5月4日
Hint-Based SMT Proof Reconstruction
Arxiv
0+阅读 · 1月20日
Towards a Common Framework for Autoformalization
Arxiv
0+阅读 · 2025年12月15日
Verifying Quantum Phase Estimation (QPE) using Prove-It
Arxiv
0+阅读 · 2023年4月5日
参考链接
微信扫码咨询专知VIP会员
Top