Arora, Sanjeev

Computational Complexity: A Modern Approach

Arora, S., & Barak, B. (2009) · Cambridge University Press eBooks

Complexity and Algorithms in GraphsComputability, Logic, AI Algorithms

Cited by 1,690

A Latent Variable Model Approach to PMI-based Word Embeddings

Arora, S., Li, Y., Liang, Y., Ma, T., & Risteski, A. (2016) · Transactions of the Association for Computational Linguistics

Topic ModelingNatural Language Processing Techniques

Cited by 286

Linear Algebraic Structure of Word Senses, with Applications to Polysemy

Arora, S., Li, Y., Liang, Y., Ma, T., & Risteski, A. (2018) · Transactions of the Association for Computational Linguistics

Topic ModelingNatural Language Processing Techniques

Cited by 186

A Theory for Emergence of Complex Skills in Language Models

Arora, S., & Goyal, A. (2023) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 129

A La Carte Embedding: Cheap but Effective Induction of Semantic Feature Vectors

Khodak, M., Saunshi, N., Liang, Y., Ma, T., Stewart, B., & Arora, S. (2018) · Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)

Topic ModelingNatural Language Processing Techniques

Cited by 111

A Mathematical Exploration of Why Language Models Help Solve Downstream Tasks

Saunshi, N., Malladi, S., & Arora, S. (2020) · arXiv

Topic ModelingDomain Adaptation and Few-Shot Learning

Cited by 32

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

Lin, Y., Tang, S., Lyu, B., Wu, J., Lin, H., Yang, K., Li, J., Xia, M., Chen, D., Arora, S., et al. (2025) · arXiv

Mathematics, Computing, and Information ProcessingLogic, programming, and type systems

Cited by 3

What Makes a Reward Model a Good Teacher? An Optimization Perspective

Razin, N., Wang, Z., Strauss, H., Wei, S., Lee, J. D., & Arora, S. (2025) · arXiv

Reinforcement Learning in RoboticsMachine Learning and Algorithms

Cited by 2

Task-Specific Skill Localization in Fine-tuned Language Models

Panigrahi, A., Saunshi, N., Zhao, H., & Arora, S. (2023) · arXiv

Domain Adaptation and Few-Shot LearningTopic Modeling

Cited by 2

LiveCodeBench Pro: How Do Olympiad Medalists Judge LLMs in Competitive Programming?

Zheng, Z., Cheng, Z., Shen, Z., Zhou, S., Liu, K., He, H., Li, D., Wei, S., Hao, H., Yao, J., et al. (2025) · arXiv

Teaching and Learning ProgrammingSoftware Engineering Research

Cited by 1

AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms

Zhao, H., Yang, Z., Li, J., He, D., Li, Z., Jin, C., Veeravalli, V. V., Gupta, A., & Arora, S. (2026) · arXiv

Logic, programming, and type systemsFormal Methods in Verification

Cited by 0

Rethinking Thinking Tokens: LLMs as Improvement Operators

Madaan, L., Didolkar, A., Gururangan, S., Quan, J., Silva, R., Salakhutdinov, R., Zaheer, M., Arora, S., & Goyal, A. (2025) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 0

GitSwarm: Decentralized Compounding Inference

Shah, V., Samanta, A., Dahal, P., Plekhanov, M., Wu, C.-J., Yih, S., Munos, R., Fergus, R., Foerster, J., Salakhutdinov, R., et al. (2026) · arXiv

Scientific Computing and Data ManagementAI-based Problem Solving and Planning

Cited by 0

Unintentional Unalignment: Likelihood Displacement in Direct Preference Optimization

Razin, N., Malladi, S., Bhaskar, A., Chen, D., Arora, S., & Hanin, B. (2024) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 0

Scaling Test-Time Compute for Agentic Coding

Kim, J., Yang, W., Niu, K., Zhang, H., Zhu, Y., Helenowski, E., Silva, R., Chen, Z., Iyer, S., Zaheer, M., et al. (2026) · arXiv

Software Engineering ResearchAI-based Problem Solving and Planning

Cited by 0