Ritam Nag

According to our database, Ritam Nag authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Pyrosome: Verified Compilation for Modular Metatheory.

Dustin Jamner, Gabriel Kammer, Ritam Nag, Adam Chlipala

CoRR, July, 2025

2024

Agent Motion Planning as Block Asynchronous Cellular Automata: Pushing, Pulling, Suplexing, and More.

Hayashi Ani, Josh Brunner, Erik D. Demaine, Jenny Diomidova, Timothy Gomez, Della H. Hendrickson, Yael Kirkpatrick, Jeffery Li, Jayson Lynch, Ritam Nag, Frederick Stock

Proceedings of the Unconventional Computation and Natural Computation, 2024