TY  - RPRT
TI  - Witnessed Boolean Contracts: Sound Local Distance Guarantees for Approximate Implicit CSG
AU  - Jeremy Pei
PY  - 2026
UR  - https://arxiv.org/abs/2610.39650
ID  - 2610.39650
ER  -