Formalising Szemerédi's Regularity Lemma in Lean.

Yaël Dillies Bhavik Mehta

Published in: ITP (2022)

Keyphrases

johnson lindenstrauss
feature extraction
evolutionary algorithm
bayesian networks
computational complexity
reinforcement learning
learning process
optimal solution
scheduling problem
information extraction
genetic programming