Neuro-Symbolic Architectures for Assisting Autoformalisation and Mathematical Discovery

Neuro-Symbolic Architectures for Assisting Autoformalisation and Mathematical Discovery

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only! 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.