会员服务
An abstract fixed-point theorem for Horn formula equations
Arxiv
0+阅读 · 11月11日
Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions
Arxiv
0+阅读 · 11月27日
DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning
Arxiv
0+阅读 · 11月27日
Formalization of Auslander--Buchsbaum--Serre criterion in Lean4
Arxiv
0+阅读 · 11月19日
Formalization of Auslander--Buchsbaum--Serre criterion in Lean4
Arxiv
0+阅读 · 12月9日
Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem
Arxiv
0+阅读 · 12月3日
Agentic Program Verification
Arxiv
0+阅读 · 11月21日
From Hypothesis to Premises: LLM-based Backward Logical Reasoning with Selective Symbolic Translation
Arxiv
0+阅读 · 12月3日
IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch
Arxiv
0+阅读 · 11月30日
Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training
Arxiv
0+阅读 · 12月1日
Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training
Arxiv
0+阅读 · 11月18日
Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training
Arxiv
0+阅读 · 11月17日
REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
Arxiv
0+阅读 · 11月24日
HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes
Arxiv
0+阅读 · 11月12日
Proof-Producing Symbolic Execution for Binary Code Verification
Arxiv
0+阅读 · 2023年4月18日
参考链接
微信扫码咨询专知VIP会员
Top