Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
