Published: 2025-06-23

DSAC: Distributional Soft Actor-Critic for Risk-Sensitive Reinforcement Learning

Xiaoteng Ma, Junyao Chen, Li Xia, Jun Yang, Qianchuan Zhao, Zhengyuan Zhou

Improved Regret Bounds for Bandits with Expert Advice

Nicolò Cesa-Bianchi, Khaled Eldowa, Emmanuel Esposito, Julia Olkhovskaya

Explainability via Short Formulas: the Case of Propositional Logic with Implementation

Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander

Invariant Graph Propagation in Constraint-Based Local Search

Frej Knutar Lewander, Pierre Flener, Justin Pearson

On CNF Conversion for SAT and SMT Enumeration

Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani

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 A. Moser

Causal Explanations for Sequential Decision Making

Samer B. Nashed, Saaduddin Mahmud, Claudia V. Goldman, Shlomo Zilberstein

Improving Local Search Algorithm for Pseudo Boolean Optimization

Yujiao Zhao, Yiyuan Wang, Yi Chu, Wenbo Zhou, Shaowei Cai, Minghao Yin

Robustness Distributions in Neural Network Verification

Annelot Bosman, Aaron Berger, Holger H. Hoos, Jan N. van Rijn

Super Level Sets and Exponential Decay: A Synergistic Approach to Stable Neural Network Training

Jatin Chaudary, Dipak Nidhi , Jukka Heikkonen , Harri Merisaari, Rajeev Kanth

A Complexity-Theoretic Analysis of Majority Illusion in Social Networks

Umberto Grandi, Lawqueen Kanesh, Grzegorz Lisowski, M.S. Ramanujan, Paolo Turrini

Argumentative Reasoning in ASPIC+ under Incomplete Information

Daphne Odekerken, Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo

Multi-Leader Congestion Games with an Adversary

Tobias Harks, Mona Henle, Max Klimm, Jannik Matuschke, Anja Schedel

Improving and Understanding the Power of Satisfaction-Driven Clause Learning

Albert Oliveras, Chunxiao Li, Darryl Wu, Jonathan Chung, Vijay Ganesh

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

A Survey on Data Selection for LLM Instruction Tuning

Bolin Zhang, Jiahao Wang, Qianlong Du, Jiajun Zhang, Zhiying Tu, Dianhui Chu

On Computing Probabilistic Explanations for Decision Trees

Marcelo Arenas, Pablo Barcelo, Alexander Kozachinskiy, Miguel Romero, Bernardo Subercaseaux

Principles for Assumptions Generation in Enthymeme-Based Dialogue

Diego S. Orbe Leiva, Alejandro J. Garcia, Sebastian Gottifredi

Towards Generalist Robot Learning from Internet Video: A Survey

Robert McCarthy, Daniel C.H. Tan, Dominik Schmidt , Fernando Acero , Nathan Herr, Yilun Du, Thomas G. Thuruthel, Zhibin Li