会员服务
Contested Cluster Selectors: Local Ambiguity, Normal Forms, and Backtracking Cost in Random Constraint Satisfaction
Arxiv
0+阅读 · 6月14日
The Value Axis: Language Models Encode Whether They're on the Right Track
Arxiv
0+阅读 · 6月15日
Obligation-Producing Actions
Arxiv
0+阅读 · 6月12日
Retrocausal capacity of a quantum channel: Communicating through noisy closed timelike curves
Arxiv
0+阅读 · 6月13日
Exploring Extrinsic and Intrinsic Properties for Effective Reasoning with Code Interpreter
Arxiv
0+阅读 · 6月15日
Temporal Backtracking Search for Test-time Generative Video Reasoning
Arxiv
0+阅读 · 6月11日
Generalizing CDCL with Graph Backtracking
Arxiv
0+阅读 · 5月27日
Can Transformers Learn to Verify During Backtracking Search?
Arxiv
0+阅读 · 5月21日
Backtrackable Inprocessing
Arxiv
0+阅读 · 5月5日
Extending CDCL-based Model Enumeration with Weights
Arxiv
0+阅读 · 5月7日
On the Complexity of the Matching Problem of Regular Expressions with Backreferences
Arxiv
0+阅读 · 5月8日
From Attack Simulation to SIEM Rule: Deterministic Detection-as-Code Synthesis with Probe-Level Traceability
Arxiv
0+阅读 · 6月3日
Complexity Lower Bounds of Small Matrix Multiplication over Finite Fields via Backtracking and Substitution
Arxiv
0+阅读 · 3月21日
When LLMs Stop Following Steps: A Diagnostic Study of Procedural Execution in Language Models
Arxiv
0+阅读 · 5月1日
Energy-Arena: A Dynamic Benchmark for Operational Energy Forecasting
Arxiv
0+阅读 · 4月27日
参考链接
微信扫码咨询专知VIP会员
Top