2026 02 Spar

Created on February 01, 2026

2026

Mentoring two SPAR Spring 2026 projects: Proving Model Equality in Zero-Knowledge and Proving Safety Properties of Guardrail Models.