会员服务
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日
MEDFORD in a Box: Improvements and Future Directions for a Metadata Description Language
Arxiv
0+阅读 · 1月21日
Deciding Serializability in Network Systems
Arxiv
0+阅读 · 1月18日
Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings
Arxiv
0+阅读 · 1月19日
Deciding Serializability in Network Systems
Arxiv
0+阅读 · 1月11日
TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
Arxiv
0+阅读 · 1月9日
Deciding Serializability in Network Systems
Arxiv
0+阅读 · 1月6日
Deciding Serializability in Network Systems
Arxiv
0+阅读 · 1月5日
参考链接
微信扫码咨询专知VIP会员
Top