Papers
Unknown Agents in Friends Oriented Hedonic Games: Stability and Complexity
Nathanaël Barrot, Kazunori Ota, Yuko Sakurai et al.
On the Proximity of Markets with Integral Equilibria
Siddharth Barman, Sanath Kumar Krishnamurthy
Pareto Optimal Allocation under Compact Uncertain Preferences
Haris Aziz, Peter Biro, Ronald de Haan et al.
Fair Division with a Secretive Agent
Eshwar Ram Arunachaleswaran, Siddharth Barman, Nidhi Rathi
The Pure Price of Anarchy of Pool Block Withholding Attacks in Bitcoin Mining
Colleen Alkalay-Houlihan, Nisarg Shah
Learning to Write Stories with Thematic Consistency and Wording Novelty
Juntao Li, Lidong Bing, Lisong Qiu et al.
3D Face Synthesis Driven by Personality Impression
Yining Lang, Wei Liang, Yujia Wang et al.
Regular Boardgames
Jakub Kowalski, Maksymilian Mika, Jakub Sutowicz et al.
Tackling Sparse Rewards in Real-Time Games with Statistical Forward Planning Methods
Raluca D. Gaina, Simon M. Lucas, Diego Pérez-Liébana
Generalized Batch Normalization: Towards Accelerating Deep Neural Networks
Xiaoyong Yuan, Zheng Feng, Matthew Norton et al.
Optimizing in the Dark: Learning an Optimal Solution through a Simple Request Interface
Qiao Xiang, Haitao Yu, James Aspnes et al.
Adding Constraints to Bayesian Inverse Problems
Jiacheng Wu, Jian-Xun Wang, Shawn C. Shadden
Melding the Data-Decisions Pipeline: Decision-Focused Learning for Combinatorial Optimization
Bryan Wilder, Bistra Dilkina, Milind Tambe
Task Embedded Coordinate Update: A Realizable Framework for Multivariate Non-Convex Optimization
Yiyang Wang, Risheng Liu, Long Ma et al.
Low-Rank Semidefinite Programming for the MAX2SAT Problem
Po-Wei Wang, J. Zico Kolter
Asynchronous Proximal Stochastic Gradient Algorithm for Composition Optimization Problems
Pengfei Wang, Risheng Liu, Nenggan Zheng et al.
Learning Optimal Classification Trees Using a Binary Linear Program Formulation
Sicco Verwer, Yingqian Zhang
Bayesian Functional Optimisation with Shape Prior
Pratibha Vellanki, Santu Rana, Sunil Gupta et al.
Concurrency Debugging with MaxSMT
Miguel Terra-Neves, Nuno Machado, Ines Lynce et al.
Algorithms for Average Regret Minimization
Sabine Storandt, Stefan Funke
BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting
Mate Soos, Kuldeep S. Meel
A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving
Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer et al.
Revisiting Projection-Free Optimization for Strongly Convex Constraint Sets
Jarrid Rector-Brooks, Jun-Kun Wang, Barzan Mozafari
On Sampling Complexity of the Semidefinite Affine Rank Feasibility Problem
Igor Molybog, Javad Lavaei
Automatic Construction of Parallel Portfolios via Explicit Instance Grouping
Shengcai Liu, Ke Tang, Xin Yao