Balaji Rao, William Eiers, Carlo Lipizzi. Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification. In Leilani H. Gilpin, Eleonora Giunchiglia, Pascal Hitzler, Emile van Krieken, editors, Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning (NeSy 2025), 8-10 September 2025, Santa Cruz, CA, USA. Volume 284 of Proceedings of Machine Learning Research, pages 814-829, PMLR, 2025. [doi]
Abstract is missing.