https://deepai.org/publication/hypertree-proof-search-for-neural-theorem-proving
05/23/22 - We propose an online training procedure for a transformer-based automated theorem prover. Our approach leverages a new search algo...
hypertree proof searchtheorem provingneuraldeepai