Icml_tutorial_2026
With Rémy Degenne, I presented a tutorial on Proving Theorems with Lean and Machine Learning at ICML 2026 in Seoul.
With Rémy Degenne, I presented a tutorial on Proving Theorems with Lean and Machine Learning at ICML 2026 in Seoul.