Lijie Chen 0001, Jiatu Li, Igor C. Oliveira 0001, Ryan Williams 0001. A Theory for Probabilistic Polynomial-Time Reasoning. In Aditya Bhaskara, Artur Czumaj, editors, Proceedings of the 58th Annual ACM Symposium on Theory of Computing, STOC 2026, Salt Lake City, UT, USA, June 22-26, 2026. pages 1326-1337, ACM, 2026. [doi]
Abstract is missing.