Nikhil Vyas
Orcid: 0000-0002-4055-7693Affiliations:
- Harvard School of Engineering and Applied Sciences, Boston, MA, USA
- Massachusetts Institute of Technology, CSAIL, Cambridge, MA, USA (former)
- Indian Institue of Technology Bombay, Department of Computer Science and Engineering, India (former)
According to our database1,
Nikhil Vyas
authored at least 37 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Electron. Colloquium Comput. Complex., 2024
Proceedings of the Forty-first International Conference on Machine Learning, 2024
Proceedings of the Forty-first International Conference on Machine Learning, 2024
2023
Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms.
Theory Comput. Syst., February, 2023
Satisfiability Algorithms and Connections between Algorithms and Circuit Lower Bounds
PhD thesis, 2023
Trans. Mach. Learn. Res., 2023
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
Proceedings of the International Conference on Machine Learning, 2023
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023
2022
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022
2021
Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, 2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021
2020
Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science, 2020
Proceedings of the 11th Innovations in Theoretical Computer Science Conference, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
IACR Cryptol. ePrint Arch., 2019
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019
Proceedings of the 34th Computational Complexity Conference, 2019
2018
SIAM J. Comput., 2018
CoRR, 2018
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
2017
Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, 2017
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017
2016
Proceedings of the 33rd Symposium on Theoretical Aspects of Computer Science, 2016