Ramana Kumar
ORCIDPublication Activity (10 Years)
Years Active: 2010-2023
Publications (10 Years): 38
Publications (10 Years): 38
Publications
- Akhil Bagaria, Ray Jiang, Ramana Kumar, Tom Schaul
- Vikrant Varma, Rohin Shah, Zachary Kenton, János Kramár, Ramana Kumar
- Zachary Kenton, Ramana Kumar, Sebastian Farquhar, Jonathan Richens, Matt MacDermott, Tom Everitt
- Zachary Kenton, Ramana Kumar, Sebastian Farquhar, Jonathan Richens, Matt MacDermott, Tom Everitt
- Oskar Abrahamsson, Magnus O. Myreen, Ramana Kumar, Thomas Sewell
- Matthew Rahtz, Vikrant Varma, Ramana Kumar, Zachary Kenton, Shane Legg, Jan Leike
- Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish
- Ramana Kumar, Jonathan Uesato, Richard Ngo, Tom Everitt, Victoria Krakovna, Shane Legg
- Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish
- Tom Everitt, Ramana Kumar, Victoria Krakovna, Shane Legg
- Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish
- Ramana Kumar, Magnus O. MyreenClocked Definitions in HOL. CoRR (2018)
- Milad K. Ghale, Dirk Pattinson, Ramana Kumar, Michael Norrish
- Armaël Guéneau, Magnus O. Myreen, Ramana Kumar, Michael Norrish
- Scott Owens, Michael Norrish, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan
- Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish
- Yutaka Nagashima, Ramana Kumar
- Scott Owens, Magnus O. Myreen, Ramana Kumar, Yong Kiam Tan
- Yong Kiam Tan, Scott Owens, Ramana Kumar
- Ramana Kumar, Magnus O. Myreen, Michael Norrish, Scott Owens
- Magnus O. Myreen, Scott Owens, Ramana Kumar
- Ramana Kumar, Joe Hurd
- Ramana Kumar, Tjark Weber