Pacman Multiplayer

Ramneet Singh
Ramneet Singh
Research Fellow

Interested in building, and making it easier to build, reliable and efficient (LLM-based/distributed/…) systems. My research interests include formal verification, theorem proving and machine learning.

Related