Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

Spaces:
rycerzes
/
qed-math-openenv
Sleeping

App Files Files Community
Fetching metadata from the HF Docker repository...
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
    134 Bytes
    add .gitattributes and normalize line endings to LF about 1 month ago
  • app.py
    1.29 kB
    feat: add browser UI at / for QED Math environment about 1 month ago
  • math_verify_service.py
    14.5 kB
    add .gitattributes and normalize line endings to LF about 1 month ago
  • mcp_server.py
    1.42 kB
    dataset spec overrides and task-id tool about 1 month ago
  • qed_math_environment.py
    43.6 kB
    fix ruff lint errors in qed_math_environment.py about 1 month ago
  • rubric.py
    12.1 kB
    add .gitattributes and normalize line endings to LF about 1 month ago
  • ui.html
    13.5 kB
    feat: add browser UI at / for QED Math environment about 1 month ago