LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification Paper • 2610.30524 • Published 7 days ago • 5
DeLoop: Repeated Actions as Self-Supervision for Long-Horizon Agents Paper • 2610.19376 • Published 14 days ago • 34
Simplifying and Improving On-Policy Distillation for Few-Step Diffusion Paper • 2610.18472 • Published 15 days ago • 34
TT-VidT: Decoupling the Temporal Axis for Efficient Motion-Centric Video Pretraining Paper • 2609.33419 • Published about 1 month ago • 19
ALPINE: Adaptive Localization for Parameter- and Sample-Efficient Few-Shot Learning Paper • 2609.22323 • Published Sep 16 • 10