Hi! I've been working on theorem proving systems for some time now. I would love... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		hackpert on Aug 9, 2024 \| parent \| context \| favorite \| on: Qwen2-Math Hi! I've been working on theorem proving systems for some time now. I would love to help out with an AlphaProof reproduction, but I can't reach you on discord for some reason!

sterlind on Aug 9, 2024 [–]

ack! try again, I forgot to update my account name since Discord got rid of # tags. I also put my email as a fallback.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact