A teacher-assisted RLVR method that inserts teacher corrections into student rollouts and applies token-level KL supervision, nearly doubling mean avg@8 on hard logic games.
A meta-skill that adapts harness guidance to the executor's capability, so self-evolution helps both weak and strong agents without updating model parameters.
EVADE-Bench introduces a multimodal benchmark to evaluate evasive content detection and provides a strong foundation for developing more robust detection systems.
An approach which equips LLMs with a structured template to methodically gather and verify evidence within complex rule systems, drastically improving reasoning fidelity.
An agent framework that synthesizes Lyapunov and barrier certificates for dynamical systems and verifies them with SMT and Lean, without accepting solver relaxations.
FlowPIE tightly couples literature retrieval with idea generation through flow-guided search and test-time evolution, producing research ideas that are more novel, diverse, and feasible than strong LLM- and agent-based baselines.
RuCL reframes curriculum learning around reward design by stratifying rubrics according to model competence, then dynamically reweighting them to progressively improve multimodal reasoning from perception to higher-order logic.