view post Post 958 🙋🏻♂️hey there folks ,Goedel's Theorem Prover is now being demo'ed on huggingface : Tonic/Math give it a try ! See translation 🔥 3 3 + Reply
Tulu 3 Models Collection All models released with Tulu 3 -- state of the art open post-training recipes. • 10 items • Updated 6 days ago • 85