Ax Linxuan He, Lingxiang Fan, Qing-Shan Jia, Ang Li, Hongyan Sang, Ling Wang, Guanghui Wen, Jiwen Lu, Tao Zhang, Jie Zhou, Yi Zhang, Yisen Wang, Peng Wei, Zhongyuan Wang, Henry X. Liu, Shuo Feng 4/9/2026

Towards provable probabilistic safety for scalable embodied AI systems

Framework for achieving provable probabilistic safety in embodied AI systems combining models with physical plants for safety-critical deployment.

Ax Yuansheng Ni, Songcheng Cai, Xiangchao Chen, Jiarong Liang, Zhiheng Lyu, Jiaqi Deng, Kai Zou, Ping Nie, Fei Yuan, Xiang Yue, Wenhu Chen 4/9/2026

VisCoder2: Building Multi-Language Visualization Coding Agents

VisCoder2 multi-language visualization coding agent using LLMs with iterative execution and correction for improved practical workflows.

Ax Chin-Chia Michael Yeh, Uday Singh Saini, Xin Dai, Xiran Fan, Shubham Jain, Yujie Fan, Jiarui Sun, Junpeng Wang, Menghai Pan, Yingtong Dou, Yuzhong Chen, Vineeth Rakesh, Liang Wang, Yan Zheng, Mahashweta Das 4/9/2026

TREASURE: The Visa Payment Foundation Model for High-Volume Transaction Understanding

TREASURE foundation model for transaction understanding in payment networks, enabling anomaly detection and consumer insights at scale.

Ax Run Shao, Ziyu Li, Zhaoyang Zhang, Linrui Xu, Xinran He, Hongyuan Yuan, Bolei He, Yongxing Dai, Yiming Yan, Yijun Chen, Wang Guo, Haifeng Li 4/9/2026

Asking like Socrates: Socrates helps VLMs understand remote sensing images

Socratic questioning framework improving VLM understanding of remote sensing images by addressing pseudo-reasoning and incomplete perception issues.

Ax Junnan Liu, Hongwei Liu, Songyang Zhang, Kai Chen 4/9/2026

Rectifying LLM Thought from Lens of Optimization

Analysis of chain-of-thought reasoning in LLMs from optimization lens, addressing overthinking and performance issues in long-CoT prompting.