conftrace_

backtracking

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

actionable (1) 3-sat (1) deduction (1) sat (1) information-theoretically tractable (1) language model generator oracle (1) process verifier (1) tokenwise rejection sampling (1) verifier-assisted generation (1) efficiency (1)

Papers

A New Approach to Backtracking Counterfactual Explanations: A Unified Causal Framework for Efficient Model Interpretability ICML 2025 Can Transformers Reason Logically? A Study in SAT Solving ICML 2025 On the Query Complexity of Verifier-Assisted Language Generation ICML 2025 ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning ICML 2025