会员服务
Case Study: Saturations as Explicit Models in Equational Theories
Arxiv
0+阅读 · 2月18日
Formalising the Bruhat-Tits Tree
Arxiv
0+阅读 · 2月17日
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4
Arxiv
0+阅读 · 2月9日
A Finer View of the Parameterized Landscape of Labeled Graph Contractions
Arxiv
0+阅读 · 2月11日
A Weakest Precondition Calculus for Programs and Linear Temporal Specifications
Arxiv
0+阅读 · 2月11日
Don't Eliminate Cut: Exponential Separations in LLM-Based Theorem Proving
Arxiv
0+阅读 · 2月11日
Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models
Arxiv
0+阅读 · 2月11日
Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models
Arxiv
0+阅读 · 2月12日
Construction-Verification: A Benchmark for Applied Mathematics in Lean 4
Arxiv
0+阅读 · 2月1日
MINIF2F-DAFNY: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification
Arxiv
0+阅读 · 2月2日
Decompose-and-Formalise: Recursively Verifiable Natural Language Inference
Arxiv
0+阅读 · 1月27日
Hint-Based SMT Proof Reconstruction
Arxiv
0+阅读 · 1月20日
Neural Theorem Proving for Verification Conditions: A Real-World Benchmark
Arxiv
0+阅读 · 1月28日
Neural Theorem Proving for Verification Conditions: A Real-World Benchmark
Arxiv
0+阅读 · 1月26日
An Information Theoretic Proof of the Radon-Nikodym Theorem
Arxiv
0+阅读 · 1月14日
参考链接
微信扫码咨询专知VIP会员
Top