justindujardin/mathy
Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning
PythonMIT
Stargazers
- Abhijit-2592ML @Google
- aramdovCalifornia
- artu001null
- bentrevettUK
- cookaKUKA Digital
- deep-programmer
- deepampatelUAE
- denisfitz57
- dtsbourgNew York City, NY
- fish8
- floringogianu@bit-ml
- fly51flyPRIS
- forhonourlx
- gabrielmbmb@huggingface
- habediPhD candidate at NTNU
- haochuanwei
- headsroomsSNGULAR
- honnibalFounder @explosion
- jeanmarcalkazzi@idealworks
- JeffCarpenterCanada
- jmquigsPA, USA
- kalyangvsUniversity of Florida
- kurtrottmannChile
- lahvak
- lexyurk
- likeucodeAlibaba
- maehr@DHBern & @Stadt-Geschichte-Basel
- peili127.0.0.1
- rdenadaiJundiaí, Brazil
- sai-prasannaFreiburg, Germany
- stefan--Berlin
- TheBitsMoscow, Russia
- tyalie
- zhan-ge
- zhoujz10
- ZylatisMelbourne