Katherine M. Collins

PhD student, Engineering, University of Cambridge

Joined

May 2021

Names

Katherine M. Collins (Preferred)

Emails

****@mit.edu (Confirmed)

****@google.com (Confirmed)

****@cam.ac.uk (Confirmed)

Personal Links

Career & Education History

PhD student

Engineering, University of Cambridge (cam.ac.uk)

2022 – Present

Intern

Google (google.com)

2023 – 2023

Student

Massachusetts Institute of Technology (mit.edu)

2017 – 2021

Advisors, Relations & Conflicts

PhD Advisor

Adrian Weller

2022 – Present

Expertise

Human-AI collaboration

2021 – Present

Computational cognitive science

2019 – Present

Probabilistic modeling

2019 – Present

Computational biology

2017 – 2021

Publications

Improving autoformalization via cycle consistency and incremental type-checking using language-model probabilistic programs
Mauricio Barba da Costa, Fabian Zaiser, Katherine M. Collins, Romir Patel, Timothy J. O'Donnell, Alexander K. Lew, Joshua B. Tenenbaum, Vikash Mansinghka, Cameron Freer
- MATH-AI 2025 Poster
- Readers: Everyone
A Matter of Interest: Understanding Interestingness of Math Problems in Humans and Language Models
Shubhra Mishra, Yuka Machino, Gabriel Poesia, Albert Q. Jiang, Joy Hsu, Adrian Weller, Challenger Mishra, David Broman, Joshua B. Tenenbaum, Mateja Jamnik, Cedegao E. Zhang, Katherine M. Collins
- MATH-AI 2025 Poster
- Readers: Everyone
AI Impact on Human Proof Formalization Workflows
Katherine M. Collins, Simon Frieder, Jonas Bayer, Jacob Loader, Jeck Lim, Peiyang Song, Fabian Zaiser, Lexin Zhou, Shanda Li, Shi-Zhuo Looi, Jose Hernandez-Orallo, Joshua B. Tenenbaum, Cameron Freer, Umang Bhatt, Adrian Weller, Valerie Chen, Ilia Sucholutsky
- MATH-AI 2025 Poster
- Readers: Everyone
Under the Influence: Quantifying Persuasion and Vigilance in Large Language Models
Sasha Robinson, Kerem Oktar, Katherine M. Collins, Ilia Sucholutsky, Kelsey R Allen
- Submitted to ICLR 2026
- Readers: Everyone
Evaluating Language Models' Evaluations of Games
Katherine M. Collins, Cedegao E. Zhang, Graham Todd, Lance Ying, Mauricio Barba da Costa, Ryan Liu, Prafull Sharma, Adrian Weller, Ionatan Kuperwajs, Lionel Wong, Joshua B. Tenenbaum, Thomas L. Griffiths
- ICLR 2026 Poster
- Readers: Everyone
Evaluating Language Models' Evaluations of Games
Katherine M. Collins, Cedegao E. Zhang, Graham Todd, Lance Ying, Mauricio Barba da Costa, Ryan Liu, Adrian Weller, Ionatan Kuperwajs, Lionel Wong, Joshua B. Tenenbaum, Thomas L. Griffiths
- NeurIPS 2025 LLM Evaluation Workshop Poster
- Readers: Everyone
Modeling Open World Cognition as On-Demand Synthesis of Probabilistic Models
Lionel Wong, Katherine M. Collins, Lance Ying, Cedegao E. Zhang, Adrian Weller, Tobias Gerstenberg, Timothy J. O'Donnell, Alexander K. Lew, Jacob Andreas, Joshua B. Tenenbaum, Tyler BrookeWilson
- LAW
- Readers: Everyone
Assessing Adaptive World Models in Machines with Novel Games
Lance Ying, Katherine M. Collins, Prafull Sharma, Cédric Colas, Kaiya Ivy Zhao, Adrian Weller, Zenna Tavares, Phillip Isola, Samuel J. Gershman, Jacob Andreas, Thomas L. Griffiths, Francois Chollet, Kelsey R Allen, Joshua B. Tenenbaum
- LAW
- Readers: Everyone
Revisiting Rogers' Paradox in the Context of Human-AI Interaction
Katherine M. Collins, Umang Bhatt, Ilia Sucholutsky
- ACA-NeurIPS2025 Poster
- Readers: Everyone
Getting aligned on representational alignment
Ilia Sucholutsky, Lukas Muttenthaler, Adrian Weller, Andi Peng, Andreea Bobu, Been Kim, Bradley C. Love, Christopher J Cueva, Erin Grant, Iris Groen, Jascha Achterberg, Joshua B. Tenenbaum, Katherine M. Collins, Katherine Hermann, Kerem Oktar, Klaus Greff, Martin N Hebart, Nathan Cloos, Nikolaus Kriegeskorte, Nori Jacoby et al. (13 additional authors not shown)
- Accepted by TMLR
- Readers: Everyone

View all 70 publications

Co-Authors

View all 235 co-authors