JAIR 2025
130 papers
A Complexity-Theoretic Analysis of Majority Illusion in Social Networks
Umberto Grandi, Lawqueen Kanesh, Grzegorz Lisowski, M. S. Ramanujan, Paolo Turrini A Divide, Align and Conquer Strategy for Program Synthesis
Jonas Witt, Sebastijan Dumancic, Tias Guns, Claus-Christian Carbon A Survey on Data Selection for LLM Instruction Tuning
Bolin Zhang, Jiahao Wang, Qianlong Du, Jiajun Zhang, Zhiying Tu, Dianhui Chu Against the Achilles' Heel: A Survey on Red Teaming for Generative Models
Lizhi Lin, Honglin Mu, Zenan Zhai, Minghan Wang, Yuxia Wang, Renxi Wang, Junjie Gao, Yixuan Zhang, Wanxiang Che, Timothy Baldwin, Xudong Han, Haonan Li Agentic Large Language Models, a Survey
Aske Plaat, Max J. van Duijn, Niki van Stein, Mike Preuss, Peter van der Putten, Kees Joost Batenburg An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty
Roman Andriushchenko, Milan Ceska, Filip Macák, Sebastian Junges, Joost-Pieter Katoen Argumentative Reasoning in ASPIC+ Under Incomplete Information
Daphne Odekerken, Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo Causal Explanations for Sequential Decision Making
Samer B. Nashed, Saaduddin Mahmud, Claudia V. Goldman, Shlomo Zilberstein Computational Machine Ethics: A Survey
Tammy Zhong, Yang Song, Raynaldio Limarga, Maurice Pagnucco CPM-Based Hierarchical Text Classification
Biqing Zeng, Yihao Peng, Jichen Yang, Peilin Hong, Junjie Liang Defensive Alliances in Signed Networks
Emmanuel Arrighi, Zhidan Feng, Henning Fernau, Kevin Mann, Xingqin Qi, Petra Wolf Empirical Game Theoretic Analysis: A Survey
Michael P. Wellman, Karl Tuyls, Amy Greenwald Explainability via Short Formulas: The Case of Propositional Logic with Implementation
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander Forgetting in Abstract Argumentation: Limits and Possibilities
Ringo Baumann, Matti Berthold, Dov M. Gabbay, Odinaldo Rodrigues Generating Streamlining Constraints with Large Language Models
Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider Geometrically Inspired Kernel Machines for Collaborative Learning Beyond Gradient Descent
Mohit Kumar, Alexander Valentinitsch, Magdalena Fuchs, Mathias Brucker, Juliana Bowles, Adnan Husakovic, Ali Abbas, Bernhard Moser Improved Regret Bounds for Bandits with Expert Advice
Nicolò Cesa-Bianchi, Khaled Eldowa, Emmanuel Esposito, Julia Olkhovskaya Improving Label Error Detection and Elimination with Uncertainty Quantification
Johannes Jakubik, Michael Vössing, Manil Maskey, Christopher Wölfle, Gerhard Satzger Improving Local Search Algorithm for Pseudo Boolean Optimization
Yujiao Zhao, Yiyuan Wang, Yi Chu, Wenbo Zhou, Shaowei Cai, Minghao Yin Mechanisms of Symbol Processing for In-Context Learning in Transformer Networks
Paul Smolensky, Roland Fernandez, Zhenghao Herbert Zhou, Mattia Opper, Adam Davies, Jianfeng Gao Multi-Leader Congestion Games with an Adversary
Tobias Harks, Mona Henle, Max Klimm, Jannik Matuschke, Anja Schedel On CNF Conversion for SAT and SMT Enumeration
Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani On Computing Probabilistic Explanations for Decision Trees
Marcelo Arenas, Pablo Barceló, Alexander Kozachinskiy, Miguel Romero, Bernardo Subercaseaux Path-Planning on a Spherical Surface with Disturbances and Exclusion Zones
Jonathan D. Smith, Samuel Hall, George Coombs, Harrison Abbot, Ayat Fekry, Michael A. S. Thorne, Derek Long, Maria Fox Policy-Based Primal-Dual Methods for Concave CMDP with Variance Reduction
Donghao Ying, Mengzi Amy Guo, Hyunin Lee, Yuhao Ding, Javad Lavaei, Zuo-Jun Max Shen Practical Parallel Algorithms for Non-Monotone Submodular Maximization
Shuang Cui, Kai Han, Jing Tang, Xueying Li, Aakas Zhiyuli, Hanxiao Li Preference Tuning with Human Feedback on Language, Speech, and Vision Tasks: A Survey
Genta Indra Winata, Hanyang Zhao, Anirban Das, Wenpin Tang, David D. Yao, Shi-Xiong Zhang, Sambit Sahu Principles for Assumptions Generation in Enthymeme-Based Dialogue
Diego S. Orbe Leiva, Alejandro Javier García, Sebastian Gottifredi Prioritised Planning: Completeness, Optimality, and Complexity
Jonathan Morag, Yue Zhang, Daniel Koyfman, Zhe Chen, Ariel Felner, Daniel Harabor, Roni Stern Prosociality in Microtransit
Divya Sundaresan, Akhira Watson, Eleni Bardaka, Crystal Chen Lee, Christopher B. Mayhorn, Munindar P. Singh Reasoning over Streams of Events with Delayed Effects
Periklis Mantenoglou, Manolis Pitsikalis, Alexander Artikis Recency-Weighted Temporally-Segmented Ensemble for Time Series Modeling
Pål V. Johnsen, Eivind Bøhn, Sølve Eidnes, Filippo Remonato, Signe Riemer-Sørensen Robustness Distributions in Neural Network Verification
Annelot W. Bosman, Aaron Berger, Holger H. Hoos, Jan N. van Rijn Rumor Detection with Adaptive Data Augmentation and Adversarial Training
Ying Wang, Fuyuan Ma, Zhaoqi Yang, Yaodi Zhu, Bo Yang, Pengfei Shen, Lei Yun Scaling Safe Policy Improvement: Monte Carlo Tree Search and Policy Iteration Strategies
Federico Bianchi, Alberto Castellini, Edoardo Zorzi, Thiago D. Simão, Matthijs T. J. Spaan, Alessandro Farinelli Semantic Alignment of Malicious Question Based on Contrastive Semantic Networks and Data Augmentation
Xinyan Wang, Jinshuo Liu, Juan Deng, Meng Wang, Qian Deng, Youcheng Yan, Lina Wang, Yunsong Ma, Jeff Z. Pan TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean Thousands of AI Authors on the Future of AI
Katja Grace, Julia Fabienne Sandkühler, Harlan Stewart, Benjamin Weinstein-Raun, Stephen Thomas, Zach Stein-Perlman, John Salvatier, Jan Brauner, Richard C. Korzekwa Towards Generalist Robot Learning from Internet Video: A Survey
Robert McCarthy, Daniel Chee Hian Tan, Dominik Schmidt, Fernando Acero, Nathan Herr, Yilun Du, Thomas George Thuruthel, Zhibin Li Value Preferences Estimation and Disambiguation in Hybrid Participatory Systems
Enrico Liscio, Luciano Cavalcante Siebert, Catholijn M. Jonker, Pradeep K. Murukannaiah