SAT-ACT: Learning CDCL Branching from Outcome-Derived Action Preferences
cs.AI, cs.LG
Submitted: 2026-10-30
Updated: 2026-10-30
Related papers
- Multi-Objective Structured Pruning of LLMs for Latency and Model Size Optimization
- MAVEN-T: Reinforced Heterogeneous Distillation for Real-Time Multi-Agent Trajectory Prediction
- Model Discovery Agent: LLM-assisted Bayesian experiment design for data-efficient discovery of mechanistic world models
- Can We Trust Item Response Theory for AI Evaluation?
- Diagnosing Task Insensitivity in Language Agents
- Janus: a Playground for User-Involved Agentic Permission Management