Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
Spaces:
Duplicated from
AI-MO/math-olympiad-solver
SameerArz
/
math-olympiad-solver-osmos
like
0
Runtime error
App
Files
Files
Community
main
math-olympiad-solver-osmos
Commit History
Update latex matching rules
8e396f7
ranWang
commited on
5 days ago
fix ouput latex rander bug
536ded4
ranWang
commited on
5 days ago
Add latex matching format
b10e371
ranWang
commited on
5 days ago
update subtitle
c8e8981
ranWang
commited on
5 days ago
fix clear bug
296c0e6
ranWang
commited on
5 days ago
No examples omitted
f104355
ranWang
commited on
5 days ago
update running_success to running_done
a48bd30
ranWang
commited on
5 days ago
change running_success in demo
d2da246
ranWang
commited on
5 days ago
uopdate min-height style
9d3b638
ranWang
commited on
5 days ago
fix client bug
0995819
ranWang
commited on
5 days ago
update example rendering method
7c23542
ranWang
commited on
5 days ago
fix boder bug in ::before
6021073
ranWang
commited on
5 days ago
update padding
ead7599
ranWang
commited on
5 days ago
update ::before style
5b91708
ranWang
commited on
5 days ago
fix padding bug
039f26d
ranWang
commited on
5 days ago
update probelm-input-container style
cff03a7
ranWang
commited on
5 days ago
update style
d93cdd0
ranWang
commited on
5 days ago
update prolem markdown style
ef0744a
ranWang
commited on
5 days ago
fix problem markdown rendered bug
943da42
ranWang
commited on
5 days ago
uodate problem rendered style
8c7e30d
ranWang
commited on
5 days ago
update style
c68d3fd
ranWang
commited on
5 days ago
Fix the bug of incorrect variable name
4c44eb0
ranWang
commited on
5 days ago
Dynamically switch to render mode on load
590d757
ranWang
commited on
5 days ago
update style
d63a74b
ranWang
commited on
6 days ago
fix html render bug
f11f752
ranWang
commited on
6 days ago
Update the upper component to not render markdown
e94d881
ranWang
commited on
6 days ago
Add missing dependencies
bbb2e12
ranWang
commited on
6 days ago
Display loading animation at runtime
5d15022
ranWang
commited on
6 days ago
Adjust button color
edbd97e
ranWang
commited on
6 days ago
Adjust button color
20aabbd
ranWang
commited on
6 days ago
Adjust CSS
8473f14
ranWang
commited on
6 days ago
Adjust CSS
fdb8072
ranWang
commited on
6 days ago
update image style
62ca594
ranWang
commited on
6 days ago
Adjust image pading
cd3b8a6
ranWang
commited on
6 days ago
update another func
403eabf
ranWang
commited on
6 days ago
Adjust from svg to png
1fcf380
ranWang
commited on
6 days ago
update png from
16ed017
ranWang
commited on
6 days ago
Adjust from svg to png
5700f97
ranWang
commited on
6 days ago
Adjust from svg to png
0f2b0ea
ranWang
commited on
6 days ago
Adjust from svg to png
3565fb9
ranWang
commited on
6 days ago
Adjust CSS
ec094bb
ranWang
commited on
6 days ago
update style
3eb8b96
ranWang
commited on
6 days ago
Fix the bug in the problem example display
38d39b3
ranWang
commited on
6 days ago
fix problem title display bug
3423f69
ranWang
commited on
6 days ago
Integrate business logic
b806539
ranWang
commited on
6 days ago
Adjust CSS
cb360bb
ranWang
commited on
6 days ago
add reset svg
b2e9a93
ranWang
commited on
6 days ago
Adjust CSS
b77b595
ranWang
commited on
6 days ago
Adjust CSS
cc463e3
ranWang
commited on
6 days ago
Adjust CSS
814f584
ranWang
commited on
6 days ago
Previous
1
2
Next