Viability of machine learning to reduce workload in systematic review screenings in the health sciences: a working paper. - Muhammad Maaz 002 (CoRR, 2019)

Saturating stable matchings. - Muhammad Maaz 002 (Oper. Res. Lett., 2021)

On Orderings of Probability Vectors and Unsupervised Performance Estimation. - Muhammad Maaz 002; Rui Qiao; Yiheng Zhou; Renxian Zhang (CoRR, 2023)

Exact sensitivity analysis of Markov reward processes via algebraic geometry. - Timothy C. Y. Chan; Muhammad Maaz 002 (CoRR, 2024)

Formal Verification of Markov Processes with Learned Parameters. - Muhammad Maaz 002; Timothy C. Y. Chan (CoRR, 2025)

A new method for reducing algebraic programs to polynomial programs. - Muhammad Maaz 002; Adam W. Strzebonski (CoRR, 2025)