会员服务
Folding the Heighway dragon curve
Arxiv
0+阅读 · 3月28日
A Milestone in Formalization: The Sphere Packing Problem in Dimension 8
Arxiv
0+阅读 · 4月28日
Can Large Language Models Model Programs Formally?
Arxiv
0+阅读 · 4月2日
Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
Arxiv
0+阅读 · 5月4日
Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving
Arxiv
0+阅读 · 3月25日
A proof of Jordan curve theorem based on the sweepline algorithm for trapezoidal decomposition of a polygon
Arxiv
0+阅读 · 4月29日
QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
Arxiv
0+阅读 · 4月6日
Learning to Reason with Insight for Informal Theorem Proving
Arxiv
0+阅读 · 4月17日
A Formalization of the Ionescu-Tulcea Theorem in Mathlib
Arxiv
0+阅读 · 3月17日
The strong chromatic index of $K_{t,t}$-free graphs
Arxiv
0+阅读 · 3月16日
Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving
Arxiv
0+阅读 · 4月1日
s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs
Arxiv
0+阅读 · 3月15日
LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
Arxiv
0+阅读 · 2月25日
When Agda met Vampire
Arxiv
0+阅读 · 2月21日
Premise Selection for a Lean Hammer
Arxiv
0+阅读 · 2月25日
参考链接
微信扫码咨询专知VIP会员
Top