Hugging Face's logo

Spaces:
rycerzes
/
qed-math-openenv
Sleeping

App Files Community
qed-math-openenv / server

Commit History

  1. feat: add browser UI at / for QED Math environment

    sourasishbasu
    2743bb8

  2. add .gitattributes and normalize line endings to LF

    sourasishbasu
    2e3721b

  3. fix ruff lint errors in qed_math_environment.py

    sourasishbasu
    79e2b1e

  4. consolidate Dockerfiles and add GHCR image publish workflow

    sourasishbasu
    f8ff84a

  1. default runtime dataset to FineProofs-RL-test[:10]

    swappy
    ef46040

  2. dataset spec overrides and task-id tool

    swappy
    340fbac

  1. update inference.py to use .env if available⁠

    swappy
    165df01

  2. type ignore

    swappy
    8d82e02

  3. fix windows parse/verify fail with timeout wrapper⁠

    swappy
    6b09b43

  4. fix imports

    swappy
    b6320d7

  5. remove license headers

    swappy
    4a485d9

  1. math verifier service

    shopno
    8e68dc7

  2. impl QED math environment

    sourasishbasu
    ad3460f

  3. server code, rubric, and prompts

    swappy
    3372462

  4. QED Math Environment

    sourasishbasu
    9d852e5