Follow
Ramana Kumar
Title
Cited by
Cited by
Year
CakeML: a verified implementation of ML
R Kumar, MO Myreen, M Norrish, S Owens
ACM SIGPLAN Notices 49 (1), 179-191, 2014
5542014
Solving math word problems with process-and outcome-based feedback
J Uesato, N Kushman, R Kumar, F Song, N Siegel, L Wang, A Creswell, ...
arXiv preprint arXiv:2211.14275, 2022
1882022
Functional big-step semantics
S Owens, MO Myreen, R Kumar, YK Tan
Programming Languages and Systems: 25th European Symposium on Programming …, 2016
1232016
Specification gaming: the flip side of AI ingenuity
V Krakovna, J Uesato, V Mikulik, M Rahtz, T Everitt, R Kumar, Z Kenton, ...
DeepMind Blog 3, 2020
1132020
Reward tampering problems and solutions in reinforcement learning: A causal influence diagram perspective
T Everitt, M Hutter, R Kumar, V Krakovna
Synthese 198 (Suppl 27), 6435-6467, 2021
1042021
A new verified compiler backend for CakeML
YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
992016
The verified CakeML compiler backend
YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish
Journal of Functional Programming 29, e2, 2019
942019
TacticToe: learning to prove with tactics
T Gauthier, C Kaliszyk, J Urban, R Kumar, M Norrish
Journal of Automated Reasoning 65 (2), 257-286, 2021
93*2021
Self-formalisation of higher-order logic: Semantics, soundness, and a verified implementation
R Kumar, R Arthan, MO Myreen, S Owens
Journal of Automated Reasoning 56, 221-259, 2016
682016
Goal misgeneralization: Why correct specifications aren't enough for correct goals
R Shah, V Varma, R Kumar, M Phuong, V Krakovna, J Uesato, Z Kenton
arXiv preprint arXiv:2210.01790, 2022
662022
Penalizing side effects using stepwise relative reachability
V Krakovna, L Orseau, R Kumar, M Martic, S Legg
arXiv preprint arXiv:1806.01186, 2018
622018
Verified characteristic formulae for CakeML
A Guéneau, MO Myreen, R Kumar, M Norrish
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
612017
Verified compilation on a verified processor
A Lööw, R Kumar, YK Tan, MO Myreen, M Norrish, O Abrahamsson, A Fox
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
472019
Evaluating frontier models for dangerous capabilities
M Phuong, M Aitchison, E Catt, S Cogan, A Kaskasoli, V Krakovna, ...
arXiv preprint arXiv:2403.13793, 2024
462024
Explaining grokking through circuit efficiency
V Varma, R Shah, Z Kenton, J Kramár, R Kumar
arXiv preprint arXiv:2309.02390, 2023
442023
HOL with definitions: Semantics, soundness, and a verified implementation
R Kumar, R Arthan, MO Myreen, S Owens
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014
392014
Discovering agents
Z Kenton, R Kumar, S Farquhar, J Richens, M MacDermott, T Everitt
Artificial Intelligence 322, 103963, 2023
342023
Proof-producing synthesis of CakeML with I/O and local state from monadic HOL functions
S Ho, O Abrahamsson, R Kumar, MO Myreen, YK Tan, M Norrish
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
332018
Verified compilation of CakeML to multiple machine-code targets
A Fox, MO Myreen, YK Tan, R Kumar
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
322017
Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB: (Short Paper)
R Kumar, E Mullen, Z Tatlock, MO Myreen
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018
302018
The system can't perform the operation now. Try again later.
Articles 1–20