会员服务
A Lean-Certified Proof of $K_8(4, 2) = 23$
Arxiv
0+阅读 · 6月15日
IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus
Arxiv
0+阅读 · 6月16日
TNODEV: Toolbox for Neural ODE Verification
Arxiv
0+阅读 · 6月15日
ESBMC-PLC: Formal Verification of IEC 61131-3 Ladder Diagram Programs Using SMT-Based Model Checking
Arxiv
0+阅读 · 6月13日
Progress in Formalizing Sphere Packing in Dimension 8
Arxiv
0+阅读 · 5月29日
A Proof in Coq that Core Logic is not Paraconsistent
Arxiv
0+阅读 · 6月4日
HierSVA: A Data Synthesis Pipeline, Dataset, and Benchmark for LLM-Driven Hierarchical Hardware Formal Verification
Arxiv
0+阅读 · 6月9日
Modelling and Verifying Neuronal Archetypes in Rocq
Arxiv
0+阅读 · 5月31日
Pointwise order of generalized Hofstadter functions G, H and beyond
Arxiv
0+阅读 · 5月22日
Formal Verification of Probing Security via Conditional Independence
Arxiv
0+阅读 · 5月25日
Generalized Decidability via Brouwer Trees
Arxiv
0+阅读 · 5月13日
End-to-End Formalization of Quantum Error Correction
Arxiv
0+阅读 · 5月15日
Automating Formal Verification with Reinforcement Learning and Recursive Inference
Arxiv
0+阅读 · 5月29日
Separation Logic for Verifying Physical Collisions of CNC Programs
Arxiv
0+阅读 · 5月20日
CausalMesh: A Formally Verified Causally Consistent Distributed Cache with Support for Client Migration
Arxiv
0+阅读 · 5月18日
参考链接
微信扫码咨询专知VIP会员
Top