Papers
Deep, long-form breakdowns of recent research in AI, machine learning, security & programming languages.
225 results on this page · clear filters
Ranking-Aware Prompt Optimization for Multimodal Clinical Diagnosis
by Tian Xia, Minghao Liu, Yiqing Liang, Laixi Shi, Jiayun Wang
Is Weight Tying Still Beneficial for Decoder-Only LLMs in Private Settings Under DP-SGD?
by Razan El Mais, Ali Chehab, Ibrahim Issa, Razane Tajeddine
Turbo Harness: Instance-Adaptive Harness Optimization
by Tunyu Zhang, Hao Wang, Kai Xu, Dimitris N. Metaxas
Cogentic: Multi-Agent Orchestration for Automated Proof Discovery
by Yang Cai, Vineet Gupta, Yanchen Jiang, Christopher Liaw, Aranyak Mehta, Grigoris Velegkas, Di Wang
A Spectral Theory of Distortion in LLM Graph Reconstruction: Sharp Bounds and Empirical Characterization
by Jianru Shen
Imagine3D-LLM: Teaching MLLMs to Imagine 3D Scenes Before Answering
by Jaewoo Jung, Hyeonseo Yu, Honggyu An, Jisang Han, Mungyeom Kim, Minkyeong Jeon, Heeseong Shin, Wonjun Moon, Federico Tombari, Daniel Barath, Marc Pollefeys, Seungryong Kim, Sunghwan Hong
Thinking Before Thinking: Scaling Agentic Inference Through Meta-Reasoning
by Paras Dahal, Anton Bakhtin, Taco Cohen, Zhengxing Chen, Carole-Jean Wu, Rob Fergus, Scott Yih, Gabriel Synnaeve, Ruslan Salakhutdinov, Sanjeev Arora, Jason Weston, Anirudh Goyal
Learning Meta-Skills for Agent Harness Design in Test-Time AI4AI
by Cheng Qian, Kunlun Zhu, Beibin Li, Zhenhailong Wang, Heng Ji
Achieving an $O(1/N)$ Optimality Gap in Average-Reward Weakly-Coupled MDPs
by Yige Hong, Xiangcheng Zhang, Qiaomin Xie, Yudong Chen, Weina Wang
Stochastic World Models for Verifying Vision-Based Neural Feedback Systems
by I. Samuel Akinwande, Mykel J. Kochenderfer, Clark Barrett