Paul Lezeau's repositories
tropicalnn
Repository with code for computing the linear regions of tropical rational functions
-nofakes-project
This is the official repository for the #nofakes project organised by the University of Warwick AI society
Language:Jupyter NotebookApache-2.0000
adversarial_example_gen
A short beginner level tutorial on the generation adversarial examples to fool a neural network.
Language:Jupyter Notebook000
Language:Python000
dedekind-kummer-theorem
This repository will eventually contain the code I wrote when formalising the Dedekind-Kummer Theorem
Language:Jupyter Notebook000
LeanSchlessinger
Formalizing Schlessinger's criterion in Lean
Language:LeanApache-2.0000
olympiad_formalization
Lean mathematical components library
Language:LeanApache-2.0000
pfr
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
Language:Lean000