会员服务
Exploring Starts Are Not Enough: Counterexamples and a Fix for Monte Carlo Exploring Starts
Arxiv
0+阅读 · 6月13日
Size-4 Counterexamples to the Sidon-Extension Conjecture
Arxiv
0+阅读 · 5月3日
Quantitative Verification with Neural Networks
Arxiv
0+阅读 · 4月14日
ExVerus: Verus Proof Repair via Counterexample Reasoning
Arxiv
0+阅读 · 3月26日
ExVerus: Verus Proof Repair via Counterexample Reasoning
Arxiv
0+阅读 · 3月30日
Size-4 Counterexamples to the Sidon-Extension Conjecture
Arxiv
0+阅读 · 4月28日
The Gaussian data assumption does not always lead to the largest CRB
Arxiv
0+阅读 · 4月8日
On the Extension Theorem for Packing Steiner Forests
Arxiv
0+阅读 · 3月17日
Counterexamples to an Extremal Conjecture for Random Cycle-Factors
Arxiv
0+阅读 · 4月28日
Learning from Equivalence Queries, Revisited
Arxiv
0+阅读 · 4月6日
Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
Arxiv
0+阅读 · 4月23日
A Counterexample to EFX; $n \ge 3$ Agents, $m \ge n + 5$ Items, Monotone Valuations; via SAT-Solving
Arxiv
0+阅读 · 4月20日
A Counterexample to EFX; $n \ge 3$ Agents, $m \ge n + 5$ Items, Monotone Valuations; via SAT-Solving
Arxiv
0+阅读 · 4月21日
Revisiting Fair and Efficient Allocations for Bivalued Goods
Arxiv
0+阅读 · 4月9日
Closing Trees into Unicyclic Counterexamples
Arxiv
0+阅读 · 3月17日
参考链接
微信扫码咨询专知VIP会员
Top