Post
1873
🙋🏻♂️hey there folks ,
Goedel's Theorem Prover is now being demo'ed on huggingface : Tonic/Math
give it a try !
Goedel's Theorem Prover is now being demo'ed on huggingface : Tonic/Math
give it a try !
a model that explains math very well !
Demo for Jasco Model Music Stems Generation
A french-speaking LLM trained with open data
GOT - OCR (from : UCAS, Beijing)
multilingual instruct model verifiably trained on open data
interact with videos !