From the 1 of 5 linked papers with an AI index.
5 papers
Estimating Distributions with Failure Rate Properties from Noisy Quantile Data
Timothy C. Y. Chan, Ningyuan Chen, Craig Fernandes +1
The paper develops a method to estimate an unknown cumulative distribution function under increasing failure‑rate shape constraints using noisy quantile observations, providing a t…
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…
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…
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…
Exact sensitivity analysis of Markov reward processes via algebraic geometry
Timothy C. Y. Chan, Muhammad Maaz
We introduce a new approach for deterministic sensitivity analysis of Markov reward processes, commonly used in cost-effectiveness analyses, via reformulation into a polynomial sys…