Ax Zahid Hasan, Masud Ahmed, Nirmalya Roy 4/21/2026

Lorentz Framework for Semantic Segmentation

Lorentz hyperbolic space semantic segmentation framework with uncertainty quantification and numerical stability improvements.

Ax Chuanyu Qin, Chenxu Yang, Qingyi Si, Naibin Gu, Dingyu Yao, Zheng Lin, Peng Fu, Nan Duan, Jiaqi Wang 4/21/2026

EasyVideoR1: Easier RL for Video Understanding

EasyVideoR1 extends reinforcement learning from verifiable rewards to video understanding in multimodal models.

Ax Jan Greb\'ik, Pavel Hub\'a\v{c}ek, Martin Kouteck\'y, Mat\v{e}j Kripner, V\'aclav Rozho\v{n}, Robert \v{S}\'amal, Adri\'an Z\'ame\v{c}n\'ik 4/21/2026

Bolzano: Case Studies in LLM-Assisted Mathematical Research

Bolzano multi-agent LLM system produces novel mathematics results through parallel provers and verifier with persistent knowledge base.

Ax Haocheng Ju, Leheng Chen, Peihao Wu, Bryan Dai, Bin Dong 4/21/2026

Matlas: A Semantic Search Engine for Mathematics

Semantic search engine for retrieving mathematical knowledge across millions of documents to ground AI mathematics systems.

Ax Feiyang Kang, Mahavir Dabas, Myeongseob Ko, Ruoxi Jia 4/21/2026

Characterizing Model-Native Skills

Research on characterizing language model skills through model-native representations rather than external taxonomies for intervention on model behavior.

Ax Prasoon Goyal, Sattvik Sahai, Michael Johnston, Hangjie Shi, Yao Lu, Shaohua Liu, Anna Rumshisky, Rahul Gupta, Anna Gottardi, Desheng Zhang, Lavina Vaz, Leslie Ball, Lucy Hu, Luke Dai, Samyuth Sagi, Maureen Murray, Sankaranarayanan Ananthakrishnan 4/21/2026

Adversarial Arena: Crowdsourcing Data Generation through Interactive Competition

Dataset generation method using adversarial competition between attackers and defenders to create diverse, high-quality conversational training data.

Ax Wen Tao, Yiwei Wang, Peng Zhou, Bryan Hooi, Wanlong Fang, Tianle Zhang, Xiao Luo, Yuansheng Liu, Alvin Chan 4/21/2026

How Creative Are Large Language Models in Generating Molecules?

Research on using LLMs for molecular generation under chemical constraints, framing creativity as a functional requirement for exploring large chemical spaces.