Outstanding Paper Award

Online certification of preference-based fairness for personalized recommender systems

Do, Corbett-Davies, Atif, & Usunier

Honorable Mention:

Bayesian Persuasion in Sequential Decision-Making

Gan, Majumdar, Radanovic, & Singla

Honorable Mention:

Operator-Potential Heuristics for Symbolic Search

Fišer, Torralba, & Hoffmann

AlphaHoldem: High-Performance Artificial Intelligence for Heads-Up No-Limit Poker via End-to-End Reinforcement Learning

Zhao, Yan, Li, Li, Xing

Certified Symmetry and Dominance Breaking for Combinatorial Optimisation

Bogaerts, Gocht, McCreesh, & Nordström

Online Elicitation of Necessarily Optimal Matchings

Peters

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise

Badings, Abate, Jansen, Parker, Poonawala, & Stoelinga

Subset approximation of Pareto Regions with Bi-objective A*

Rivera, Baier, & Hernandez

The SoftCumulative Constraint with Quadratic Penalty

Ouellet & Quimper

Outstanding Student Paper

InfoLM: A New Metric to Evaluate Summarization & Data2Text Generation

Colombo, Clavel, & Piantanida

Honorable Mention:

Compilation of Aggregates in ASP Systems

Mazzotta, Ricca, & Dodaro

Honorable Mention:

Entropy estimation via normalizing flow

Ao & Li

A Demonstration of Compositional, Hierarchical Interactive Task Learning

Mininger & Laird