Skip to content

Robert Kirk

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

4

Active years

1980–2026

Best venue rank

A*

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2026AAAISTACK: Adversarial Attacks on LLM Safeguard Pipelines.Ian R. McKenzie, Oskar John Hollinsworth, Tom Tseng, Xander Davies, Stephen Casper, Aaron David Tucker, Robert Kirk, Adam Gleave
2025ICLRProcedural Knowledge in Pretraining Drives Reasoning in Large Language Models.Laura Ruis, Maximilian Mozes, Juhan Bae, Siddhartha Rao Kamalakara, Dwaraknath Gnaneshwar, Acyr Locatelli, Robert Kirk, Tim Rocktschel, Edward Grefenstette, Max Bartolo
2025ICMLHow Do Large Language Monkeys Get Their Power (Laws)?Rylan Schaeffer, Joshua Kazdan, John Hughes, Jordan Juravsky, Sara Price, Aengus Lynch, Erik Jones, Robert Kirk, Azalia Mirhoseini, Sanmi Koyejo
2025ICMLInvestigating Non-Transitivity in LLM-as-a-Judge.Yi Xu, Laura Ruis, Tim Rocktschel, Robert Kirk
2024ICLRReward Model Ensembles Help Mitigate Overoptimization.Thomas Coste, Usman Anwar, Robert Kirk, David Krueger
2024ICLRMechanistically analyzing the effects of fine-tuning on procedurally defined tasks.Samyak Jain, Robert Kirk, Ekdeep Singh Lubana, Robert P. Dick, Hidenori Tanaka, Tim Rocktschel, Edward Grefenstette, David Scott Krueger
2024ICLRUnderstanding the Effects of RLHF on LLM Generalisation and Diversity.Robert Kirk, Ishita Mediratta, Christoforos Nalmpantis, Jelena Luketina, Eric Hambro, Edward Grefenstette, Roberta Raileanu
2024ICMLGeneralization to New Sequential Decision Making Tasks with In-Context Learning.Sharath Chandra Raparthy, Eric Hambro, Robert Kirk, Mikael Henaff, Roberta Raileanu
1981DACA timing verification system based on extracted MOS/VLSI circuit parameters.Pauline Ng, Wolfram Glauert, Robert Kirk
1980DACSIDS (A Symbolic Interactive Design System).Dave Clary, Robert Kirk, Steve Sapiro