Commit History

feat: task handling and score validation
3908d2e

swappy commited on

fix: update QED_MATH_URL default and logging with score tracking
f61c1ad

swappy commited on

Merge pull request #7 from 3xcaffeine/feat/ui
9a3445e
unverified

swappy commited on

fix: update inference validation workflow
da53840

sourasishbasu commited on

feat: add browser UI at / for QED Math environment
2743bb8

sourasishbasu commited on

fix: update QED_MATH_URL secret reference
c1d3003

swappy commited on

fix: update ghactions env vars
ed78dc2

sourasishbasu commited on

fix: replace ActionsDesk/lfs-warning with shell find for file size check
63573f7

sourasishbasu commited on

Merge pull request #6 from 3xcaffeine/ci-improvements
96c0f1a
unverified

swappy commited on

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

add .docs/ to .gitignore
d02fc6d

sourasishbasu commited on

add inference validation workflow
3741739

sourasishbasu commited on

add ruff lint and format CI check
3d4d827

sourasishbasu commited on

consolidate Dockerfiles and add GHCR image publish workflow
f8ff84a

sourasishbasu commited on

Merge pull request #4 from 3xcaffeine/gh-actions
16f065e
unverified

swappy commited on

check for existing hf space & create if not found
8c52cf1

swappy commited on

improve handling of env vars
9c9678d

swappy commited on

add gh-action branch to workflow
b648167

swappy commited on

gh actions for checking file sizes and syncing to hf
eaa5e59

swappy commited on

enforce strict START/STEP/END stdout
d316098

swappy 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 openenv dep to point at fixed mcp
0545a3b

swappy commited on

add hf Dockerfile for multi-stage build and deployment setup
44b35f9

swappy commited on

update inference.py to use .env if available
165df01

swappy commited on

reorganize dependencies in pyproject.toml & add .env.example
82f4d4d

swappy commited on

refactor inference script to follow guidelines
3fd8a37

swappy commited on

fix tests
c769ae0

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

move inference script to root
a4fbf97

swappy commited on

remove license headers
4a485d9

swappy commited on

openenv validator
112834a

swappy commited on

tests and inference script
84029ab

swappy commited on

tests package
1228fd0

shopno commited on

math verifier service
8e68dc7

shopno commited on

impl QED math environment
ad3460f

sourasishbasu commited on

server code, rubric, and prompts
3372462

swappy commited on

QED Math Environment
9d852e5

sourasishbasu commited on

init
9542047

swappy commited on