Ax \`Alex R. Atrio, Antonio Lopez, Jino Rohit, Yassine El Ouahidi, Marcello Politi, Vijayasri Iyer, Umar Jamil, S\'ebastien Brati\`eres, Nicolas Long\'ep\'e 4/28/2026

EVE: A Domain-Specific LLM Framework for Earth Intelligence

Open-source domain-specialized 24B LLM (EVE) for Earth Intelligence built on Mistral, optimized for Earth observation and sciences reasoning.

Ax Zhiqiu Lin, Chancharik Mitra, Siyuan Cen, Isaac Li, Yuhan Huang, Yu Tong Tiffany Ling, Hewei Wang, Irene Pi, Shihang Zhu, Ryan Rao, George Liu, Jiaxi Li, Ruojin Li, Yili Han, Yilun Du, Deva Ramanan 4/28/2026

Building a Precise Video Language with Human-AI Oversight

Open datasets and benchmarks for video-language model captioning using structured specifications and professional video creator input for precise visual primitive definition.

Ax William Feng, Ethan Lou, Aryan Sharma 4/28/2026

Surface Sensitivity in Lean 4 Autoformalization

Studies surface-level vs semantic sensitivity in Lean 4 autoformalization, testing GPT and open-weight models on paraphrase variations.