Tomaz Mascarenhas

According to our database, Tomaz Mascarenhas authored at least 6 papers between 2025 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

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

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