Towards human AI collaboration

Stream: Machine Learning for Theorem Proving

[Zixiao Wang]

Hi! This is Zixiao doing PhD at Harvard, I am working on building agent for math on research side, eg, RL for verifiable output. kind of wondering if anyone also working on related topics and open to chat/collaboration! Please DM if you are interested!

[(deleted)]

Hello. I just slept while the AI worked on my theorem.

[(deleted)]

I just woke up and the AI did some useful work

[(deleted)]

I can help if you need help

[(deleted)]

While my agent setup isn't as advanced as Delta Prover it still works