TY  - RPRT
TI  - Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound
AU  - Shayaan Siddique
AU  - Ibrahim Mian
PY  - 2026
UR  - https://arxiv.org/abs/2607.26413
ID  - 2607.26413
ER  -