1 citations · 1 across the 8 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
cs.SE2025
Agentic Property-Based Testing: Finding Bugs Across the Python Ecosystem
Muhammad Maaz, Liam DeVoe, Zac Hatfield-Dodds +1
Property-based testing (PBT) is a lightweight formal method, typically implemented as a randomized testing framework. Users specify the input domain for their test using combinator…
math.OC2025
A new method for reducing algebraic programs to polynomial programs
Muhammad Maaz, Adam W. Strzeboński
We consider a generalization of polynomial programs: algebraic programs, which are optimization or feasibility problems with algebraic objectives or constraints. Algebraic function…
cs.LG2025
Formal Verification of Markov Processes with Learned Parameters
Muhammad Maaz, Timothy C. Y. Chan
We introduce the problem of formally verifying properties of Markov processes where the parameters are given by the output of machine learning models. For a broad class of machine…