LionSR/LDT-comparator
This project formalizes the main soundness theorem for the quantum low individual degree test. It proves that a projective two-prover strategy which passes the test admits polynomial measurements that are consistent with one another and with the provers' point measurements, with an explicit error bound.
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-08-18-000001
curl -X POST /api/v1/records/palomar/PALOMAR-2026-08-18-000001/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-08-18-000001/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'