mmaaz
- Karma
- 83
- Created
- 2 years ago
About
Anthropic. PhD, University of Toronto. mmaaz.ca @mmaaz_98Recent Submissions
- 1. ▲ Finding bugs across the Python ecosystem with Claude and property-based testing (red.anthropic.com)
- 2. ▲ Mathematics is hard for mathematicians to understand too (science.org)
- 3. ▲ Agentic Property-Based Testing: Finding Bugs Across the Python Ecosystem (mmaaz-git.github.io)
- 4. ▲ Property-based testing of batch-invariant operations (mmaaz.ca)
- 5. ▲ Solving Boolean satisfiability and integer programming with Python packaging (mmaaz.ca)