会员服务
Bounded Rewriting Induction for LCSTRSs
Arxiv
0+阅读 · 1月6日
LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
Arxiv
0+阅读 · 2025年12月31日
Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
Arxiv
0+阅读 · 2025年12月29日
MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
Arxiv
0+阅读 · 2025年12月20日
A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
Arxiv
0+阅读 · 2025年12月23日
Training LLMs with LogicReward for Faithful and Rigorous Reasoning
Arxiv
0+阅读 · 2025年12月20日
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
Arxiv
0+阅读 · 2025年12月19日
Translating Three-Variable First-Order Predicate Logic to Relation Algebra, Implemented using Z3
Arxiv
0+阅读 · 2025年12月22日
An abstract fixed-point theorem for Horn formula equations
Arxiv
0+阅读 · 2025年11月11日
Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions
Arxiv
0+阅读 · 2025年11月27日
DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning
Arxiv
0+阅读 · 2025年11月27日
Formalization of Auslander--Buchsbaum--Serre criterion in Lean4
Arxiv
0+阅读 · 2025年11月19日
Formalization of Auslander--Buchsbaum--Serre criterion in Lean4
Arxiv
0+阅读 · 2025年12月9日
Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem
Arxiv
0+阅读 · 2025年12月3日
Agentic Program Verification
Arxiv
0+阅读 · 2025年11月21日
参考链接
微信扫码咨询专知VIP会员
Top