Paul Lezeau

Research Areas

Constraint Satisfaction and Optimization, Machine Learning in Materials Science, Evolutionary Algorithms and Applications

Most-Cited Works

• → Olympiad-level formal mathematical reasoning with reinforcement learning(2025)4 cited