Invariant neural architecture for learning term synthesis in instantiation proving

DOI10.1016/j.jsc.2024.102375MaRDI QIDQ6650564

Mikoláš Janota, Tom Heskes, Konstantin Korovin, Josef Urban, Miroslav Olšák, Jelle Piepenbrock

Publication date: 9 December 2024

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

automated theorem provinginstantiationgraph neural networks

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Invariant neural architecture for learning term synthesis in instantiation proving