会员服务
Proof-Producing Symbolic Execution for Binary Code Verification
Arxiv
0+阅读 · 2023年4月18日
Profinite lambda-terms and parametricity
Arxiv
0+阅读 · 2023年4月18日
Certifying Zero-Knowledge Circuits with Refinement Types
Arxiv
0+阅读 · 2023年4月18日
Certifying Zero-Knowledge Circuits with Refinement Types
Arxiv
0+阅读 · 2023年4月15日
Verifying Quantum Phase Estimation (QPE) using Prove-It
Arxiv
0+阅读 · 2023年4月5日
Planning as Theorem Proving with Heuristics
Arxiv
0+阅读 · 2023年4月1日
Using Language Models For Knowledge Acquisition in Natural Language Reasoning Problems
Arxiv
0+阅读 · 2023年4月4日
A Mathematical Benchmark for Inductive Theorem Provers
Arxiv
0+阅读 · 2023年4月6日
SAT-Inspired Higher-Order Eliminations
Arxiv
0+阅读 · 2023年3月31日
Impossibility theorems involving weakenings of expansion consistency and resoluteness in voting
Arxiv
0+阅读 · 2023年3月26日
Planning as Theorem Proving with Heuristics
Arxiv
0+阅读 · 2023年3月23日
参考链接
微信扫码咨询专知VIP会员
Top