AI for Math @ EPFL

	Auguste Poiroux
Antoine Bosselut	Viktor Kunčak	Maryna Viazovska

Coming soon. Some related projects:

• Lean Interact
• Sphere Packing in Lean