181 citations · 220 across the 14 of their papers we have counts for
15 papers
Identifying the Predictable Drift of a Semimartingale from Marginal Laws
Jakub Marecek, Enrico Biffis, Abigail Langbridge +1
A special semimartingale admits a unique decomposition into a local martingale and a predictable finite-variation part . We consider the identification of wh…
Intersectional Fairness via Mixed-Integer Optimization
Jiří Němeček, Mark Kozdoba, Illia Kryvoviaz +2
The deployment of Artificial Intelligence in high-risk domains, such as finance and healthcare, necessitates models that are both fair and transparent. While regulatory frameworks,…
Tractable Probabilistic Models for Investment Planning
Nicolas M. Cuadrado A., Mohannad Takrouri, Jiří Němeček +2
Investment planning in power utilities, such as generation and transmission expansion, requires decisions under substantial uncertainty over decade--long horizons for policies, dem…
Stochastic Sample Approximations of (Local) Moduli of Continuity
Rodion Nazarov, Allen Gehret, Robert Shorten +1
Modulus of local continuity is used to evaluate the robustness of neural networks and fairness of their repeated uses in closed-loop models. Here, we revisit a connection between g…
Online Learning with Multiple Fairness Regularizers via Graph-Structured Feedback
Quan Zhou, Jakub Marecek, Robert Shorten
There is an increasing need to enforce multiple, often competing, measures of fairness within automated decision systems. The appropriate weighting of these fairness objectives is…
humancompatible.interconnect: Testing Properties of Repeated Uses of Interconnections of AI Systems
Rodion Nazarov, Anthony Quinn, Robert Shorten +1
Artificial intelligence (AI) systems often interact with multiple agents. The regulation of such AI systems often requires that {\em a priori\/} guarantees of fairness and robustne…
A Feedback Control Framework for Incentivised Suburban Parking Utilisation and Urban Core Traffic Relief
Abdul Baseer Satti, James Saunderson, Wynita Griggs +6
Urban traffic congestion, exacerbated by inefficient parking management and cruising for parking, significantly hampers mobility and sustainability in smart cities. Drivers often f…
Reserve Provision from Electric Vehicles: Aggregate Boundaries and Stochastic Model Predictive Control
Jacob Thrän, Jakub Mareček, Robert N. Shorten +1
Controlled charging of electric vehicles, EVs, is a major potential source of flexibility to facilitate the integration of variable renewable energy and reduce the need for station…
Generating Likely Counterfactuals Using Sum-Product Networks
Jiri Nemecek, Tomas Pevny, Jakub Marecek
The need to explain decisions made by AI systems is driven by both recent regulation and user demand. The decisions are often explainable only post hoc. In counterfactual explanati…
Challenges and Opportunities in Quantum Optimization
Amira Abbas, Andris Ambainis, Brandon Augustino +43
Recent advances in quantum computers are demonstrating the ability to solve problems at a scale beyond brute force classical simulation. As such, a widespread interest in quantum a…
Piecewise Polynomial Regression of Tame Functions via Integer Programming
Gilles Bareilles, Johannes Aspman, Jiri Nemecek +1
Tame functions are a class of nonsmooth, nonconvex functions, which feature in a wide range of applications: functions encountered in the training of deep neural networks with all…
Joint Problems in Learning Multiple Dynamical Systems
Mengjia Niu, Xiaoyu He, Petr Ryšavý +2
Clustering of time series is a well-studied problem, with applications ranging from quantitative, personalized models of metabolism obtained from metabolite concentrations to state…
Group-blind optimal transport to group parity and its constrained variants
Quan Zhou, Jakub Marecek
Fairness holds a pivotal role in the realm of machine learning, particularly when it comes to addressing groups categorised by protected attributes, e.g., gender, race. Prevailing…
Taming Binarized Neural Networks and Mixed-Integer Programs
Johannes Aspman, Georgios Korpas, Jakub Marecek
There has been a great deal of recent interest in binarized neural networks, especially because of their explainability. At the same time, automatic differentiation algorithms such…
Matrix Completion under Interval Uncertainty
Jakub Marecek, Peter Richtarik, Martin Takac
Matrix completion under interval uncertainty can be cast as matrix completion with element-wise box constraints. We present an efficient alternating-direction parallel coordinate-d…