Spaces:

Tonic
/

Math

Running on Zero

App Files Files Community

Math / app.py

Commit History

fixes pad token id issue

d8e35bf
unverified

Tonic commited on 16 days ago

remove lean4 from gradio block declaration, replace with python

7bd644e
unverified

Tonic commited on 16 days ago

switch to smaller model

b8790bd
unverified

Tonic commited on 16 days ago

initial commit

31e2261
unverified

Tonic commited on 16 days ago