This is your work, valued

Stockholm

Yaël Dillies

Expert
@YaelDillies

Second year PhD student at Stockholm Universitet in additive combinatorics. Also working for Google DeepMind through Adecco Sweden.

www.su.se/english/profiles/yadi8568-1.745057

cam-combi. Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean

82

apap. Formalisation of the Kelley-Meka bound on Roth numbers

27

toric. Formalisation of toric varieties in Lean 4

12

gibbs-measure. ASCI Summer Research Lean

10

maths-notes. Lectures notes from the 2023-24 Cambridge Part III courses

8

mean-fourier. Formalisation of mean Fourier analysis in Lean 4

5

misc-yd. Miscellaneous projects I am working on in Lean

4

chandra-furst-lipton. Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity

3

forbidden-matrix. Formalisation of forbidden matrix theory

2

FLT. Ongoing Lean formalisation of the proof of Fermat's Last Theorem

1