Alok Singh
AI Researcher at Beneficial AI Foundation
Berkeley, California, United States
Summary
🤩
Rockstar🎓
Top SchoolAlok Singh is an AI researcher in Berkeley with 11 years of experience applying deep learning, reinforcement learning, and formal methods to real-world and research problems. He’s currently expanding Lean 4 datasets and combining automated theorem proving with deep RL at the Beneficial AI Foundation, building on prior work that interpreted AlphaGo internals and sped climate simulations from hours to seconds using GANs and differentiable simulators. Comfortable shipping production code and research, he’s contributed to Ray’s RLlib and to widely used developer tooling like the neoformat Vim plugin, plus maintains usability-focused Vim projects. His background in mathematics and CS from UC Berkeley informs a pragmatic blend of symbolic and neural approaches, and he has a knack for finding early low-dimensional signals in large models—evidenced by probing AlphaGo’s early decision signals.
11 years of coding experience
5 years of employment as a software developer
Bachelor's degree Mathematics and Computer Science, Bachelor's degree Mathematics and Computer Science at University of California, BerkeleyMonta Vista High School
english (native speaker), hindi (native speaker)
Stackoverflow
55reputation
3kreached
4answers
2questions
Github Skills (26)
fzf10
pytorch10
python10
machine-learning10
formatter10
vim-plugin10
reinforcement-learning10
plugin10
neovim10
vim10
formatters10
ray10
haskell10
notepad9
pandoc9
Programming languages (31)
Github contributions (5)
alok/notational-fzf-vim
Jan 2017 - Nov 2022
Notational velocity for vim.
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:6 reviews, 137 commits, 23 PRs in 5 years 10 months
Contributions summary:Alok primarily contributed to the `notational-fzf-vim` repository by enhancing the vim plugin's functionality and user experience. Their work included fixing bugs, adding new features such as configurable key mappings and ignore patterns, and optimizing the integration with fzf. The user also made improvements to the codebase, including refactoring, adding options, and refactoring the preview window.
notesnvaltvimnote-takingvim-plugin
sbdchd/neoformat
Dec 2016 - Jan 2020
:sparkles: A (Neo)vim plugin for formatting code.
Role in this project:Back-end Developer
Back-end DeveloperContributions:23 commits, 25 PRs, 35 comments in 3 years 1 month
Contributions summary:Alok primarily contributed to the neoformat plugin, a code formatter for Vim. Their work involved adding support for various formatters, including Haskell (hindent, hfmt, stylishhaskell), Python (isort, docformatter), SQL (sqlfmt), and assembly (asmfmt). They also refined the Pandoc formatter, updated existing formatter configurations, and addressed indentation issues across various language formatters.
neovimvim-pluginpluginneovim
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.