Separations in proof complexity and TFNP M Göös, A Hollender, S Jain, G Maystre, W Pires, R Robere, R Tao 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS …, 2022 | 18 | 2022 |
Further collapses in TFNP M Göös, A Hollender, S Jain, G Maystre, W Pires, R Robere, R Tao arXiv preprint arXiv:2202.07761, 2022 | 15 | 2022 |
Unambiguous DNFs and Alon–Saks–Seymour K Balodis, S Ben-David, M Göös, S Jain, R Kothari SIAM Journal on Computing, FOCS21-157-FOCS21-173, 2023 | 13* | 2023 |
On Pigeonhole Principles and Ramsey in TFNP S Jain, J Li, R Robere, Z Xun arXiv preprint arXiv:2401.12604, 2024 | 2 | 2024 |
On the Rational Degree of Boolean Functions and Applications V Iyer, S Jain, M Kovacs-Deak, VM Kumar, L Schaeffer, D Wang, ... arXiv preprint arXiv:2310.08004, 2023 | | 2023 |
Communication Complexity of Collision M Göös, S Jain Approximation, Randomization, and Combinatorial Optimization. Algorithms and …, 2022 | | 2022 |