3 papers
cs.LO2026
On the Formalization of Network Topology Matrices in HOL
Kubra Aksoy, Adnan Rashid, Osman Hasan +1
Network topology matrices are algebraic representations of graphs that are widely used in modeling and analysis of various applications including electrical circuits, communication…
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
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…