← Search

Michael Forbes

3 accepted papers

2026

Hybrid Restricted Master Problem for Boolean Matrix Factorisation

AAAI 2026technical

We present bfact, a Python package for performing accurate low-rank Boolean matrix factorisation (BMF). bfact uses a hybrid combinatorial optimisation approach based on a priori candidate factors generated from clustering algorithms. It selects the best disjoint factors before performing either a se

Cited by 0SourcePDFScholar
2025

DiLQR: Differentiable Iterative Linear Quadratic Regulator via Implicit Differentiation

ICML 2025poster

While differentiable control has emerged as a powerful paradigm combining model-free flexibility with model-based efficiency, the iterative Linear Quadratic Regulator (iLQR) remains underexplored as a differentiable component. The scalability of differentiating through extended iterations and horizo…

Cited by 0SourcePDFScholar
2020

Almost Surely Stable Deep Dynamics

NeurIPS 2020spotlight

We introduce a method for learning provably stable deep neural network based dynamic models from observed data. Specifically, we consider discrete-time stochastic dynamic models, as they are of particular interest in practical applications such as estimation and control. However, these aspects exace…