36 citations · 57 across the 9 of their papers we have counts for
9 papers
Interpretability in Safety-Critical FinancialTrading Systems
Gabriel Deza, Adelin Travers, Colin Rowat +1
Sophisticated machine learning (ML) models to inform trading in the financial sector create problems of interpretability and risk management. Seemingly robust forecasting models ma…
Joint Shapley values: a measure of joint feature importance
Chris Harris, Richard Pymar, Colin Rowat
The Shapley value is one of the most widely used measures of feature importance partly as it measures a feature's average effect on a model's prediction. We introduce joint Shapley…
Asymmetric Shapley values: incorporating causal knowledge into model-agnostic explainability
Christopher Frye, Colin Rowat, Ilya Feige
Explaining AI systems is fundamental both to the development of high performing models and to the trust placed in them by their users. The Shapley framework for explainability has…
An Introduction to Mechanized Reasoning
Manfred Kerber, Christoph Lange, Colin Rowat
Mechanized reasoning uses computers to verify proofs and to help discover new theorems. Computer scientists have applied mechanized reasoning to economic problems but -- to date --…
Budget Imbalance Criteria for Auctions: A Formalized Theorem
Marco B. Caminati, Manfred Kerber, Colin Rowat
We present an original theorem in auction theory: it specifies general conditions under which the sum of the payments of all bidders is necessarily not identically zero, and more g…
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?
Marco B. Caminati, Manfred Kerber, Christoph Lange +1
When faced with the question of how to represent properties in a formal proof system any user has to make design decisions. We have proved three of the theorems from Maskin's 2004…
Proving soundness of combinatorial Vickrey auctions and generating verified executable code
Marco B. Caminati, Manfred Kerber, Christoph Lange +1
Using mechanised reasoning we prove that combinatorial Vickrey auctions are soundly specified in that they associate a unique outcome (allocation and transfers) to any valid input…
The ForMaRE Project - Formal Mathematical Reasoning in Economics
Christoph Lange, Colin Rowat, Manfred Kerber
The ForMaRE project applies formal mathematical reasoning to economics. We seek to increase confidence in economics' theoretical results, to aid in discovering new results, and to…
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
Christoph Lange, Marco B. Caminati, Manfred Kerber +4
Novel auction schemes are constantly being designed. Their design has significant consequences for the allocation of goods and the revenues generated. But how to tell whether a new…