Lakshya Agrawal
OlMo Research Intern at Ai2
Berkeley, California, United States
Summary
👤
Senior🎓
Top SchoolLakshya Agrawal is an AI PhD student at UC Berkeley and an OlMo research intern focused on making code generation by large language models more reliable and practical for real-world software engineering. With a decade of experience spanning research roles at Microsoft Research, EPFL, and IIIT-D, he blends systems-level expertise—language runtimes, IDE/debugger tooling, and transpilers—with cutting-edge work on long-context reasoning, tool use, and decoding strategies for LLMs. His Monitor-Guided Decoding (NeurIPS'23) and open-source projects like multilspy and GEPA reflect a bias toward engineering solutions that let even smaller models produce correct code at repository scale. He has a track record of shipping lasting artifacts (e.g., a Maxima→Python transpiler now in Maxima) and thrives at the intersection of programming languages, developer tooling, and generative AI.
10 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of California, BerkeleyAISSCE Science, AISSCE Science at Delhi Public School, DwarkaBachelor of Technology - BTech Computer Science and Applied Mathematics, Bachelor of Technology - BTech Computer Science and Applied Mathematics at Indraprastha Institute of Information Technology, DelhiAISSE, AISSE at The Lawrence School - Lovedale
Stackoverflow
33reputation
909reached
1answer
0questions
Github Skills (200)
code-generation10
matrix10
spoon10
api10
approximate10
python10
code-completion10
language-server-protocol10
metaprogramming10
code-analysis10
transformation10
pygame10
large-language-models10
huggingface-transformers10
abstract-syntax-tree10
Programming languages (19)
Github contributions (5)
microsoft/multilspy
Aug 2024 - Apr 2025
multilspy is a lsp client library in Python intended to be used to build applications around language servers.
Contributions:13 releases, 54 reviews, 64 PRs in 7 months
aiai4codeartificial-intelligencecode-analysiscode-completion
LakshyAAAgrawal/CoVid
Mar 2020 - May 2020
Software for conducting live lectures and recording to as small file size as possible
Contributions:64 commits, 21 PRs, 25 pushes in 1 month
file-sizepythonconductingrecording
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.