Alok Singh

Researcher, Beneficial AI Foundation

  • Joined December 2024

Names

Alok Singh (Preferred)

Emails

****@gmail.com (Confirmed)
,
****@berkeley.edu (Confirmed)

Personal Links

Career & Education History

Researcher
Beneficial AI Foundation (beneficialaifoundation.org)
2024 – Present
 
Researcher
Lawrence Berkeley National Lab (lbl.gov)
2019 – 2024
 

Advisors, Relations & Conflicts

Coworker
2024 – Present
 

Expertise

nonstandard analysis, reinforcement learning, automated theorem proving, lean 4, geometric computing
2020 – Present