Zulip Chat Archive
Stream: Machine Learning for Theorem Proving
Topic: Neural symbolic summer school talk
Jason Rute (Sep 06 2024 at 10:53):
@Peiyang Song mentioned on X that he presented a talk at the Neural Symbolic Summer school on Neuro-Symbolic Theorem Proving with Lean.
Last updated: May 02 2025 at 03:31 UTC