Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
rycerzes
/
qed-math-openenv
like
0
Sleeping
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
main
qed-math-openenv
/
server
86.6 kB
Ctrl+K
Ctrl+K
4 contributors
History:
15 commits
sourasishbasu
feat: add browser UI at / for QED Math environment
2743bb8
about 1 month ago
__init__.py
Safe
134 Bytes
add .gitattributes and normalize line endings to LF
about 1 month ago
app.py
Safe
1.29 kB
feat: add browser UI at / for QED Math environment
about 1 month ago
math_verify_service.py
Safe
14.5 kB
add .gitattributes and normalize line endings to LF
about 1 month ago
mcp_server.py
Safe
1.42 kB
dataset spec overrides and task-id tool
about 1 month ago
qed_math_environment.py
Safe
43.6 kB
fix ruff lint errors in qed_math_environment.py
about 1 month ago
rubric.py
Safe
12.1 kB
add .gitattributes and normalize line endings to LF
about 1 month ago
ui.html
Safe
13.5 kB
feat: add browser UI at / for QED Math environment
about 1 month ago
