The weight of poems
Published:
I find myself constantly wandering in bookshops looking for new poems and poets, often without any success.
Thoughts
I want to achieve mathematical superintelligence, so why am I doing LLMs now?
Published:
I’ve recently defended my PhD, which is on AI for formal mathematics. Now I’m a full-time researcher at Mistral AI, working on reasoning.
Thoughts after NeurIPS
Published:
This is my first NeurIPS - last year I had three papers and no visa.