We stand with Ukraine  

Harun Khan

Orcid: 0000-0003-3379-5631

Affiliations:
  • Stanford University, USA


According to our database1, Harun Khan authored at least 11 papers between 2021 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Artifact #305 CAV25 - Lean-SMT: An SMT tactic for discharging proof goals in Lean.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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

Artifact #305 CAV25 - Lean-SMT: An SMT tactic for discharging proof goals in Lean.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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

2024
Robust Mean Estimation by All Means (Short Paper).
[BibTeX]
[DOI]
Reynald Affeldt
,
Clark W. Barrett
,
Alessandro Bruni
,
Ieva Daukantas
,
Harun Khan
,
Takafumi Saikawa
,
Carsten Schürmann
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2021
Formalizing Fibonacci Squares (short paper).
[BibTeX]
[DOI]
Muhammad Harun Ali Khan
Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021


  Loading...