Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore cutting-edge research on neural networks' applications in lemma discovery and proof assistant co-piloting in this 35-minute talk by Moa Johansson from the Hausdorff Center for Mathematics. Gain insights into recently initiated and upcoming projects that leverage neuro-symbolic architectures to enhance autoformalisation and mathematical discovery processes.
