16 citations · 57 across the 31 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
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.…
cs.AI2024★ 1 cited
Extending XReason: Formal Explanations for Adversarial Detection
Amira Jemaa, Adnan Rashid, Sofiene Tahar
Explainable Artificial Intelligence (XAI) plays an important role in improving the transparency and reliability of complex machine learning models, especially in critical domains s…