会员服务
Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories
Arxiv
0+阅读 · 6月16日
EconCSLib: A Lean Library for Computational Economics and AI-Assisted Research
Arxiv
0+阅读 · 6月15日
IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus
Arxiv
0+阅读 · 6月16日
Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
Arxiv
0+阅读 · 6月15日
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis
Arxiv
0+阅读 · 6月15日
Sorries Are Not the Hard Part: An Expert-Review Case Study of a Semi-Autonomous Formalization
Arxiv
0+阅读 · 6月11日
Progress in Formalizing Sphere Packing in Dimension 8
Arxiv
0+阅读 · 5月29日
ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
Arxiv
0+阅读 · 5月26日
MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
Arxiv
0+阅读 · 5月27日
Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean
Arxiv
0+阅读 · 6月12日
Solving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems
Arxiv
0+阅读 · 6月3日
A formal proof of the Ramanujan--Nagell theorem in Lean 4
Arxiv
0+阅读 · 6月1日
Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
Arxiv
0+阅读 · 5月18日
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis
Arxiv
0+阅读 · 6月11日
TableauxRocq: A Deep Embedding of Free-Variable Tableaux in Rocq
Arxiv
0+阅读 · 5月16日
参考链接
微信扫码咨询专知VIP会员
Top