会员服务
Evaluating the Robustness of Proof Autoformalization in Lean 4
Arxiv
0+阅读 · 6月12日
A formal proof of the Ramanujan--Nagell theorem in Lean 4
Arxiv
0+阅读 · 6月1日
A formal proof of the Sands-Sauer-Woodrow theorem using the Rocq prover and mathcomp/ssreflect
Arxiv
0+阅读 · 4月23日
Pseudo-Formalization for Automatic Proof Verification
Arxiv
0+阅读 · 5月19日
ImProver: Agent-Based Automated Proof Optimization
Arxiv
0+阅读 · 5月21日
Stokes' Theorem for Smooth Singular Cubes in Lean 4: True Pullback, Bridges to mathlib4, and Chain-Level d^2=0
Arxiv
0+阅读 · 5月1日
Cypher is Turing-Complete: A Formal Proof via 2-Counter Machine Simulation
Arxiv
0+阅读 · 3月24日
Advancing Mathematics Research with AI-Driven Formal Proof Search
Arxiv
0+阅读 · 5月21日
Formal Foundations and Proof-Carrying Certificates for q-ary Covering Codes in Lean 4
Arxiv
0+阅读 · 6月8日
Vulnerability Abundance: A formal proof of infinite vulnerabilities in code
Arxiv
0+阅读 · 5月1日
Algorithmically Establishing Trust in Evaluators
Arxiv
0+阅读 · 2月11日
A Formal Proof of a Continued Fraction Conjecture for $π$ Originating from the Ramanujan Machine
Arxiv
0+阅读 · 1月13日
Formalization of Amicable Numbers Theory
Arxiv
0+阅读 · 1月12日
A Unified Formal Theory on the Logical Limits of Symbol Grounding
Arxiv
0+阅读 · 2025年12月10日
A Unified Formal Theory on the Logical Limits of Symbol Grounding
Arxiv
0+阅读 · 2025年11月5日
参考链接
微信扫码咨询专知VIP会员
Top