会员服务
Almost Fair Simulations
Arxiv
0+阅读 · 5月26日
A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
Arxiv
0+阅读 · 5月7日
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
Arxiv
0+阅读 · 5月2日
MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair
Arxiv
0+阅读 · 5月28日
TACO: A Toolsuite for the Verification of Threshold Automata
Arxiv
0+阅读 · 5月7日
HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs
Arxiv
0+阅读 · 4月30日
LLMs versus the Halting Problem: Revisiting Program Termination Prediction
Arxiv
0+阅读 · 3月28日
HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification
Arxiv
0+阅读 · 3月16日
Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation
Arxiv
0+阅读 · 3月8日
IndicIFEval: A Benchmark for Verifiable Instruction-Following Evaluation in 14 Indic Languages
Arxiv
0+阅读 · 2月25日
Synthesis and Verification of Transformer Programs
Arxiv
0+阅读 · 2月18日
VeriSciQA: An Auto-Verified Dataset for Scientific Visual Question Answering
Arxiv
0+阅读 · 2月11日
Extending RLVR to Open-Ended Tasks via Verifiable Multiple-Choice Reformulation
Arxiv
0+阅读 · 2月4日
Proof-RM: A Scalable and Generalizable Reward Model for Math Proof
Arxiv
0+阅读 · 2月2日
An Introduction to Razborov's Flag Algebra as a Proof System for Extremal Graph Theory
Arxiv
0+阅读 · 1月19日
参考链接
微信扫码咨询专知VIP会员
Top