Papers
Multi-Agent Communication with Information Preserving Graph Contrastive Learning
Wei Du, Shifei Ding, Wei Guo et al.
EF1 and EFX Orientations
Argyrios Deligkas, Eduard Eiben, Tiger-Lily Goldsmith et al.
Responsibility Anticipation and Attribution in LTLf
Giuseppe De Giacomo, Emiliano Lorini, Timothy Parker et al.
Requirement Patterns for Engineering Multiagent Interaction Protocols
Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh
Optimal Distributed Training With Co-Adaptive Data Parallelism in Heterogeneous Environments
Lifang Chen, Zhichao Chen, Liqi Yan et al.
Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions
Davide Catta, Jean Leneutre, Vadim Malvone et al.
Position: AI Evaluation Should Learn from How We Test Humans
Yan Zhuang, Qi Liu, Zachary Pardos et al.
Position: Language model developers should report train-test overlap
Andy K Zhang, Kevin Klyman, Yifan Mai et al.
Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods
Yedi Zhang, Yufan Cai, Xinyue Zuo et al.
Position: Editing Large Language Models Poses Serious Safety Risks
Paul Youssef, Zhixue Zhao, Daniel Braun et al.
Position: Challenges and Future Directions of Data-Centric AI Alignment
Min-Hsuan Yeh, Jeffrey Wang, Xuefeng Du et al.
Position: Formal Mathematical Reasoning—A New Frontier in AI
Kaiyu Yang, Gabriel Poesia, Jingxuan He et al.
Position: LLMs Need a Bayesian Meta-Reasoning Framework for More Robust and Generalizable Reasoning
Hanqi Yan, Linhai Zhang, Jiazheng Li et al.
Position: Retrieval-augmented systems can be dangerous medical communicators
Lionel Wong, Ayman Ali, Raymond M Xiong et al.
Position: Deep Learning is Not So Mysterious or Different
Andrew Gordon Wilson
Position: Human Baselines in Model Evaluations Need Rigor and Transparency (With Recommendations & Reporting Checklist)
Kevin Wei, Patricia Paskov, Sunishchal Dev et al.
Position: AI Scaling: From Up to Down and Out
Yunke Wang, Yanxi Li, Chang Xu
Position: Evaluating Generative AI Systems Is a Social Science Measurement Challenge
Hanna Wallach, Meera Desai, A. Feder Cooper et al.
Position: AI Agents Need Authenticated Delegation
Tobin South, Samuele Marro, Thomas Hardjono et al.
Position: Contextual Integrity is Inadequately Applied to Language Models
Yan Shvartzshnaider, Vasisht Duddu
Position: AI Competitions Provide the Gold Standard for Empirical Rigor in GenAI Evaluation
D. Sculley, William Cukierski, Phil Culliton et al.
Position: When Incentives Backfire, Data Stops Being Human
Sebastin Santy, Prasanta Bhattacharya, Manoel Horta Ribeiro et al.
Position: Graph Matching Systems Deserve Better Benchmarks
Indradyumna Roy, Saswat Meher, Eeshaan Jain et al.