collaborators

1 paper

cs.LO2024

Proof Recommendation System for the HOL4 Theorem Prover

Nour Dekhil, Adnan Rashid, Sofiene Tahar

We introduce a proof recommender system for the HOL4 theorem prover. Our tool is built upon a transformer-based model [2] designed specifically to provide proof assistance in HOL4.…