Abdalrhman Mohamed

According to our database, Abdalrhman Mohamed authored at least 19 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions.

Tomaz Mascarenhas, Harun Khan, Abdalrhman Mohamed, Andrew Reynolds, Haniel Barbosa, Clark W. Barrett, Cesare Tinelli

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

2025

Artifact #305 CAV25 - Lean-SMT: An SMT tactic for discharging proof goals in Lean.

Abdalrhman Mohamed, Tomaz Mascarenhas, Muhammad Harun Ali Khan, Haniel Barbosa, Andrew Reynolds, Yicheng Qian, Cesare Tinelli, Clark W. Barrett

Dataset, June, 2025

bv_decide SMT-COMP 2025 Submission.

Henrik Böving, Siddharth Bhat, Alex C. Keizer, Luisa Cicolini, Léon Frénot, Abdalrhman Mohamed, Léo Stefanesco, Harun Khan, Joshua Clune, Clark W. Barrett, Tobias Grosser

Dataset, June, 2025

bv_decide SMT-COMP 2025 Submission.

Henrik Böving, Siddharth Bhat, Alex C. Keizer, Luisa Cicolini, Léon Frénot, Abdalrhman Mohamed, Léo Stefanesco, Harun Khan, Joshua Clune, Clark W. Barrett, Tobias Grosser

Dataset, June, 2025

bv_decide SMT-COMP 2025 Submission.

Henrik Böving, Siddharth Bhat, Alex C. Keizer, Luisa Cicolini, Léon Frénot, Abdalrhman Mohamed, Léo Stefanesco, Harun Khan, Joshua Clune, Clark W. Barrett, Tobias Grosser

Dataset, June, 2025

bv_decide SMT-COMP 2025 Submission.

Henrik Böving, Siddharth Bhat, Alex C. Keizer, Luisa Cicolini, Léon Frénot, Abdalrhman Mohamed, Léo Stefanesco, Harun Khan, Joshua Clune, Clark W. Barrett, Tobias Grosser

Dataset, June, 2025

cvc5 for SMT-COMP 2025.

Haniel Barbosa, Clark W. Barrett, Hanna Lachnitt, Abdalrhman Mohamed, Mudathir Mohamed, José Neto, Aina Niemetz, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Hans-Jörg Schurr, Cesare Tinelli, Amalee Wilson, Yoni Zohar

Dataset, June, 2025

Artifact #305 CAV25 - Lean-SMT: An SMT tactic for discharging proof goals in Lean.

Abdalrhman Mohamed, Tomaz Mascarenhas, Muhammad Harun Ali Khan, Haniel Barbosa, Andrew Reynolds, Yicheng Qian, Cesare Tinelli, Clark W. Barrett

Dataset, May, 2025

Artifact #305 CAV25 - Lean-SMT: An SMT tactic for discharging proof goals in Lean.

Abdalrhman Mohamed, Tomaz Mascarenhas, Muhammad Harun Ali Khan, Haniel Barbosa, Andrew Reynolds, Yicheng Qian, Cesare Tinelli, Clark W. Barrett

Dataset, April, 2025

Artifact #305 CAV25 - Lean-SMT: An SMT tactic for discharging proof goals in Lean.

Abdalrhman Mohamed, Tomaz Mascarenhas, Muhammad Harun Ali Khan, Haniel Barbosa, Andrew Reynolds, Yicheng Qian, Cesare Tinelli, Clark W. Barrett

Dataset, April, 2025

Artifact #37 CAV25: Relational Hoare Logic for Realistically Modelled Machine Code.

Denis Mazzucato, Abdalrhman Mohamed, Juneyoung Lee, Clark W. Barrett, Jim Grundy, John Harrison, Corina S. Pasareanu

Dataset, April, 2025

Artifact #37 CAV25: Relational Hoare Logic for Realistically Modelled Machine Code.

Denis Mazzucato, Abdalrhman Mohamed, Juneyoung Lee, Clark W. Barrett, Jim Grundy, John Harrison, Corina S. Pasareanu

Dataset, April, 2025

Artifact #37 CAV25: Relational Hoare Logic for Realistically Modelled Machine Code.

Denis Mazzucato, Abdalrhman Mohamed, Juneyoung Lee, Clark W. Barrett, Jim Grundy, John Harrison, Corina S. Pasareanu

Dataset, April, 2025

Interactive Bitvector Reasoning using Verified Bit-Blasting.

Henrik Böving, Siddharth Bhat, Luisa Cicolini, Alex C. Keizer, Léon Frénot, Abdalrhman Mohamed, Léo Stefanesco, Harun Khan, Joshua Clune, Clark W. Barrett, Tobias Grosser

Proc. ACM Program. Lang., 2025

lean-smt: An SMT Tactic for Discharging Proof Goals in Lean.

Abdalrhman Mohamed, Tomaz Mascarenhas, Harun Khan, Haniel Barbosa, Andrew Reynolds, Yicheng Qian, Cesare Tinelli, Clark W. Barrett

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

Relational Hoare Logic for Realistically Modelled Machine Code.

Denis Mazzucato, Abdalrhman Mohamed, Juneyoung Lee, Clark W. Barrett, Jim Grundy, John Harrison, Corina S. Pasareanu

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

cvc5 for SMT-COMP 2024.

Leni Aniva, Haniel Barbosa, Clark W. Barrett, Hanna Lachnitt, Daniel Larraz, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Hans-Jörg Schurr, Cesare Tinelli, Amalee Wilson, Yoni Zohar

Dataset, June, 2024

2023

A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery.

Abdalrhman Mohamed, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

cvc5: A Versatile and Industrial-Strength SMT Solver.

Haniel Barbosa, Clark W. Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022