I go by Albert. You can also call me 乔楚 (Qiaochu). (They look very different, but a name is nothing more than a lambda variable)
You can find my CV here.
I study how to learn abstract mathematical reasoning.
- I worked on the autoformalization of theorems and proofs.
- I worked on integrating and improving premise selection tools with language models.
- I am working on mathematical conjecturing. A foretaste of what I want to do here.
Between July and October 2022, I was a research scientist intern at FAIR supervised by Guillaume Lample.
ICLR 2023 Oral
Nov 2022 - I gave a talk in the Cambridge AI Research Group Seminar on it.
Dec 2022 - The paper was featured on the Cambridge Computer Laboratory website.
June 2022 - The paper was reported by New Scientist.
Nov 2022 - I gave a talk in the Google N2Formal team on it.
Oct 2021 - I received the prestigious studentship in science to pursue my PhD.
NeurIPS 2021 Bayesian Deep Learning Workshop
Oct 2021 - My master thesis made it into a workshop!
May 2021 - My first ever work on AI for Maths materialised into a paper!
Oct 2020 - I received the generous scholarship to do my Master in Computer Science at Oxford.
Sept 2019 - I received a grant to conduct research in Toronto with Jimmy Ba.
qj213 AT cam DOT ac DOT uk
If you want to talk about research or anything else, feel free to schedule a meeting: https://calendly.com/aqj. Please include your name and a meeting link if it’s virtual.
Resources for writing the PhD application research proposal
This section of Sharon Goldwater’s homepage.