Verification-fairness-interpretability

Publications

Verification-fairness-interpretability

View all publications

Paper

Publication

Diagnosing failures of fairness transfer across distribution shift in real-world medical settings

Jessica Schrouff *, Natalie Harris *, Oluwasanmi Koyejo *, Ibrahim Alabdulmohsin *, Eva Schnider *, Krista Opsahl-Ong *, Alex Brown *, Subhrajit Roy *, Diana Mincu *, Christina Chen *, Awa Dieng *, Yuan Liu *, Vivek Natarajan *, Alan Karthikesalingam *, Katherine Heller *, Silvia Chiappa, Alexander D'Amour *

NeurIPS

Paper

Publication

Latent Space Smoothing for Individually Fair Representations

Momchil Peychev *, Anian Ruoss, Mislav Balunovic *, Maximilian Baader *, Martin Vechev *

ECCV

Paper

Publication

Fair Normalizing Flows

Mislav Balunovic *, Anian Ruoss, Martin Vechev *

ICLR

Paper

Publication

Why Fair Labels Can Yield Unfair Predictions: Graphical Conditions for Introduced Unfairness

Tom Everitt, Silvia Chiappa

AAAI

Paper

Publication

HCMD-zero: Learning Value-Aligned Mechanisms from Data

Jan Balaguer, Raphael Koster, Ari Weinstein, Lucy Campbell-Gillingham, Christopher Summerfield, Matt Botvinick, Andrea Tacchetti

ICLR

Paper

Publication

Overcoming the Convex Barrier for Simplex Inputs

Harkirat Behl *, P Torr *, Pawan Mudigonda, Dj Dvijotham

NeurIPS

Paper

Publication

Challenges in Detoxifying Language Models

Johannes Welbl, Mia Glaese, Jonathan Uesato, Sumanth Dathathri, John Mellor, Lisa Anne Hendricks, Kirsty Anderson *, Pushmeet Kohli, Ben Coppin, Po-Sen Huang

Findings of EMNLP

Paper

Publication

Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming

Dj Dvijotham, Jonathan Uesato, Sumanth Dathathri, Rudy Bunel, Pushmeet Kohli

NeurIPS

Paper

Publication

IReEn: Iterative Reverse-Engineering of Black-Box Functions via Neural Program Synthesis

H Hajipour *, Mateusz Malinowski, M Fritz *

arXiv

Paper

Publication

Lagrangian Decomposition for Neural Network Verification

Rudy Bunel *, A De Palma *, Alban Desmaison *, Krishnamurthy (Dj) Dvijotham, Pushmeet Kohli, Philip Torr *, P Kumar *

arXiv

Paper

Publication

The Incentives that Shape Behaviour

Ryan Carey *, Eric Langlois, Tom Everitt, Shane Legg

arXiv

Paper

Publication

Reducing Sentiment Bias in Language Models via Counterfactual Evaluation

Po-Sen Huang, Huan Zhang, Ray Jiang, Robert Stanforth, Johannes Welbl, Jack Rae, Vishal Maini, Dani Yogatama, Pushmeet Kohli

Findings of EMNLP

Paper

Publication

An Alternative Surrogate Loss for PGD-based Adversarial Testing

Sven Gowal, Jonathan Uesato, Chongli Qin, Po-Sen Huang, Timothy Mann, Pushmeet Kohli

arXiv

Paper

Publication

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation

Po-Sen Huang, Robert Stanforth, Johannes Welbl *, Chris Dyer, Dani Yogatama, Sven Gowal, Krishnamurthy (Dj) Dvijotham, Pushmeet Kohli

EMNLP

Paper

Publication

Wasserstein Fair Classification

Ray Jiang, Aldo Pacchiano, Tom Stepleton, Heinrich Jiang, Silvia Chiappa

arXiv

Paper

Publication

A Causal Bayesian Networks Viewpoint on Fairness

Silvia Chiappa, William Isaac

arXiv

Paper

Publication

Learning Dynamic Polynomial Proofs

Alhussein Fawzi, Mateusz Malinowski, Hamza Fawzi *, Omar Fawzi *

arXiv

Paper

Publication

A Bayesian Approach to Robust Reinforcement Learning

Esther Derman *, Daniel Mankowitz, Timothy Mann, Shie Mannor *

UAI

Paper

Publication

Knowing When to Stop: Evaluation and Verification of Conformity to Output-size Specifications

Chenglong Wang, Rudy Bunel *, Krishnamurthy (Dj) Dvijotham, Po-Sen Huang, Edward Grefenstette, Pushmeet Kohli

arXiv

Paper

Publication

Degenerate Feedback Loops in Recommender Systems

Ray Jiang, Silvia Chiappa, Tor Lattimore, András György, Pushmeet Kohli

arXiv

Paper

Publication

Understanding Agent Incentives using Causal Influence Diagrams. Part I: Single Action Settings

Tom Everitt, Pedro Ortega, Elizabeth Barnes *, Shane Legg

arXiv

Paper

Publication

Scaling shared model governance via model splitting

Miljan Martic, Jan Leike, Andrew Trask, Matteo Hessel, Shane Legg, Pushmeet Kohli

arXiv

Paper

Publication

Verification of deep probabilistic models

Krishnamurthy (Dj) Dvijotham, Marta Garnelo, Alhussein Fawzi, Pushmeet Kohli

NeurIPS

Paper

Publication

Robustness via curvature regularization, and vice versa

Seyed-Mohsen Moosavi-Dezfooli *, Alhussein Fawzi, Jonathan Uesato, Pascal Frossard *

arXiv

Paper

Publication

Verification of Non-Linear Specifications for Neural Networks

Chongli Qin, Krishnamurthy (Dj) Dvijotham, Brendan O'Donoghue, Rudy Bunel *, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli

ICLR