2024 Tropical Expressivity of Neural Networks Paul Lezeau, Thomas Walker, Yueqi Cao, Shiv Bhatia, Anthea Monod [Paper] [Blog] arXiv Tightening the Evaluation of PAC Bounds Using Formal Verification Results Thomas Walker, Alessio Lomuscio [Paper] [Blog] arXiv 2023 The Prime Minister's Mathematical Propositions Thomas Walker [Article] Imperial Natural Sciences Blog