Publication Structure-Grounded Knowledge Retrieval via Code Dependencies for Multi-Step Data Reasoning Xinyi Huang, Haoyu Dong April 2026
Publication Intent-aligned Formal Specification Synthesis via Traceable Refinement Zhe Ye, Aidan Z.H. Yang, Huangyuan Su, Zhenyu Liao, Samuel Tenka, Zhizhen Qin, Udaya Ghai, Dawn Song, Soonho Kong April 2026
Publication AMID: Model-Agnostic Dataset Distillation by Adversarial Mutual Information Minimization Aoqi Wu, Junming Liu, Yuwei Zhang, Weiquan Huang, Liang Hu, Yifan Yang, Qi Zhang, Jiaxing Miao, Yuhan Tang, Zhongyuan Lai ACM Web Conference 2026 | April 2026
Publication Agent^2 RL-Bench: Can LLM Agents Engineer Agentic RL Post-Training? Wanyi Chen, Xiao Yang, Xu Yang, Tianming Sha, Qizheng Li, Zhuo Wang, Bowen Xian, Fang Kong, Weiqing Liu, Jiang Bian April 2026 Github
Publication From Searchable to Non-Searchable: Generative AI and Information Diversity in Online Information Seeking Yulin Yu, Yizhou Li, Siddharth Suri, Scott Counts April 2026
Publication Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software D. Ahman, Karthik Bhargavan, Barry Bond, Jay Bosamiya, Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Aymeric Fromherz, Sydney Gibson, Chris Hawblitzel, Cătălin Hrițcu, Markulf Kohlweiss, Guido Martínez, Haobin Ni, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Exequiel Rivas, Nikhil Swamy, Santiago Zanella-Béguelin ACM Transactions on Programming Languages and Systems | April 2026
Publication Litmus (Re)Agent: A Benchmark and Agentic System for Predictive Evaluation of Multilingual Models Avni Mittal, Shanu Kumar, Sandipan Dandapat, Monojit Choudhury April 2026
Publication Do LLMs Follow Their Own Rules? A Reflexive Audit of Self-Stated Safety Policies Avni Mittal April 2026
Publication M$^star$: Every Task Deserves Its Own Memory Harness Wenbo Pan, Shujie Liu, Xiangyang Zhou, Shiwei Zhang, Wanlu Shi, Mirror Xu, Xiaohua Jia April 2026
Publication SPPO: Sequence-Level PPO for Long-Horizon Reasoning Tasks Tianyi Wang, Yixia Li, Long Li, Yibiao Chen, Shaohan Huang, Yun Chen, Peng Li, Yang Liu, Guanhua Chen April 2026