5 papers · 1 filter
Temporal Specification Guidance for Text-to-Video Generation
Avishree Khare, Hideki Okamoto, Bardh Hoxha +2
Text-to-video models often generate the visual concepts requested in natural language prompts but fail to satisfy their intended ordering, timing, and persistence requirements. We…
Learning Strategies to Break Judges
Guruprerana Shabadi, Aaditya Naik, Rajeev Alur +1
As AI agents surpass human performance, it becomes exceedingly hard for system designers to evaluate them directly and understand their failure modes. Consequently, agents themselv…
Let it Cook: Learning to Wait in Sequential Decision Making
Christopher Watson, Arjun Krishna, Dinesh Jayaraman +1
In sequential decision making, an agent typically observes its environment and acts at every timestep. However, such active participation may not always be necessary; tasks such as…
Do We Need Frontier Models to Verify Mathematical Proofs?
Aaditya Naik, Guruprerana Shabadi, Rajeev Alur +1
Advances in training, post-training, and inference-time methods have enabled frontier reasoning models to win gold medals in math competitions and settle challenging open problems.…
CAMEL: An ECG Language Model for Forecasting Cardiac Events
Neelay Velingker, Alaia Solko-Breslin, Mayank Keoliya +9
Electrocardiograms (ECG) are electrical recordings of the heart that are critical for diagnosing cardiovascular conditions. ECG language models (ELMs) have recently emerged as a pr…