Recent posts

Model Equivalence using Z3

6 minute read

2025-11-07 — Using Z3 to prove two ML models are logically equivalent — or extract the exact counterexample where they diverge.

Quantifying Information Loss

3 minute read

2025-10-28 — A quick experiment linking Laplace noise and data resolution, showing how privacy and precision trade off