Ramana Kumar

Ramana Kumar

University of Cambridge - Cambridge / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1343564
person_outline Ramana Kumar's MOST POPULAR ARTICLES
1-) CakeML: a verified implementation of MLR Kumar, MO Myreen, M Norrish, S OwensACM SIGPLAN Notices 49 (1), 179-191, 20144032014
2-) Solving math word problems with process-and outcome-based feedbackJ Uesato, N Kushman, R Kumar, F Song, N Siegel, L Wang, A Creswell, ...arXiv preprint arXiv:2211.14275, 20221322022
3-) Functional big-step semanticsS Owens, MO Myreen, R Kumar, YK TanProgramming Languages and Systems: 25th European Symposium on Programming …, 20161192016
4-) Specification gaming: the flip side of AI ingenuityV Krakovna, J Uesato, V Mikulik, M Rahtz, T Everitt, R Kumar, Z Kenton, ...DeepMind Blog 3, 20201222020
5-) Reward tampering problems and solutions in reinforcement learning: A causal influence diagram perspectiveT Everitt, M Hutter, R Kumar, V KrakovnaSynthese 198 (Suppl 27), 6435-6467, 20211042021