@misc{indiciae2263ed7a8c19, title = {On Proof Systems for \#QBF}, author = {Sravanthi Chede and Leroy Chew and Vaibhav Krishan and Anil Shukla}, year = {2026}, url = {https://arxiv.org/abs/2606.02143}, note = {Source identifier: 2606.02143} }