Graph-based construction of minimal models
Two's company, three's a crowd: Consensus-halving for a constant number of agents
Risk verification of stochastic systems with neural network controllers
Mind the gap: Cake cutting with separation
Logical separability of labeled data examples under ontologies
Certifiably robust interpretation via Rényi differential privacy
Towards convergence rate analysis of random forests for classification
Gradient-based mixed planning with symbolic and numeric action parameters
Neural large neighborhood search for routing problems
Actions of the hyperoctahedral group to compute minimal contractors
Reasoning about general preference relations
Measuring power in coalitional games with friends, enemies and allies
The metric distortion of multiwinner voting
Defense coordination in security games: Equilibrium analysis and mechanism design
Convolutional spectral kernel learning with generalization guarantees