feat: add browser UI at / for QED Math environment 2743bb8
sourasishbasu commited on
Spaces:
Sleeping
Sleeping
Commit History
add .gitattributes and normalize line endings to LF 2e3721b
sourasishbasu commited on
fix ruff lint errors in qed_math_environment.py 79e2b1e
sourasishbasu commited on
consolidate Dockerfiles and add GHCR image publish workflow f8ff84a
sourasishbasu commited on
default runtime dataset to FineProofs-RL-test[:10] ef46040
swappy commited on
dataset spec overrides and task-id tool 340fbac
swappy commited on
update inference.py to use .env if available 165df01
swappy commited on
type ignore 8d82e02
swappy commited on
fix windows parse/verify fail with timeout wrapper 6b09b43
swappy commited on
fix imports b6320d7
swappy commited on
remove license headers 4a485d9
swappy commited on
math verifier service 8e68dc7
impl QED math environment ad3460f
sourasishbasu commited on
server code, rubric, and prompts 3372462
swappy commited on
QED Math Environment 9d852e5
sourasishbasu commited on