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.

Ax Rory Young, Nicolas Pugeault 4/28/2026

GIFT: Global stabilisation via Intrinsic Fine Tuning

Deep RL policies for continuous control suffer from sensitivity to initial conditions. GIFT proposes intrinsic fine-tuning to stabilize state dynamics in nonlinear contact environments.

Ax Taihua Xu, Genhao Tian, Jicong Fan, Xibei Yang, Qinghua Zhang, Yun Cui 4/28/2026

Layer Embedding Deep Fusion Graph Neural Network

Layer Embedding Deep Fusion GNN addresses low-homophily graphs and long-range dependencies in graph neural networks.