Ax Yuqi Zhu, Jintian Zhang, Zhenjie Wan, Yujie Luo, Shuofei Qiao, Zhengke Gui, Da Zheng, Lei Liang, Huajun Chen, Ningyu Zhang 4/7/2026

LightThinker++: From Reasoning Compression to Memory Management

LightThinker++ enables LLMs to dynamically compress intermediate reasoning thoughts into compact representations for efficiency.

Ax Angelos Poulis, Mark Crovella, Evimaria Terzi 4/7/2026

Testing the Limits of Truth Directions in LLMs

Research identifying limitations in universality of linear truth directions in LLM activation spaces across different settings.

Ax Haocheng Ju, Guoxiong Gao, Jiedong Jiang, Bin Wu, Zeming Sun, Leheng Chen, Yutong Wang, Yuefeng Wang, Zichen Wang, Wanyi He, Peihao Wu, Liang Xiao, Ruochuan Liu, Bryan Dai, Bin Dong 4/7/2026

Automated Conjecture Resolution with Formal Verification

Automated framework for research-level mathematical problem solving combining LLMs with formal verification to reliably resolve conjectures and verify proofs.

Ax Shenzhi Yang, Guangcheng Zhu, Bowen Song, Sharon Li, Haobo Wang, Xing Zheng, Yingfan Ma, Zhongqi Chen, Weiqiang Wang, Gang Chen 4/7/2026

Can LLMs Learn to Reason Robustly under Noisy Supervision?

Analysis of noisy label robustness in Reinforcement Learning with Verifiable Rewards for training LLM reasoning models.

Ax Taiping Qu, Hongkai Zhang, Lantian Zhang, Can Zhao, Nan Zhang, Hui Wang, Zhen Zhou, Mingye Zou, Kairui Bo, Pengfei Zhao, Xingxing Jin, Zixian Su, Kun Jiang, Huan Liu, Yu Du, Maozhou Wang, Ruifang Yan, Zhongyuan Wang, Tiejun Huang, Lei Xu, Henggui Zhang 4/7/2026

BAAI Cardiac Agent: An intelligent multimodal agent for automated reasoning and diagnosis of cardiovascular diseases from cardiac magnetic resonance imaging

BAAI Cardiac Agent: multimodal AI agent for automated cardiovascular disease diagnosis from cardiac MRI with specialized expert models.

Ax Juhan Park, Taerim Yoon, Seungmin Kim, Joonggil Kim, Wontae Ye, Jeongeun Park, Yoonbyung Chai, Geonwoo Cho, Geunwoo Cho, Dohyeong Kim, Kyungjae Lee, Yongjae Kim, Sungjoon Choi 4/7/2026

Learning Dexterous Grasping from Sparse Taxonomy Guidance

Research on dexterous robotic grasping using reinforcement learning with sparse guidance for multi-finger manipulation control.