Spaces:

rycerzes
/

qed-math-openenv

Sleeping

App Files Files Community

qed-math-openenv

Commit History

Apr 7

07:45
feat: task handling and score validation

swappy

3908d2e
07:27
fix: update QED_MATH_URL default and logging with score tracking

swappy

f61c1ad

Apr 5

11:15
Merge pull request #7 from 3xcaffeine/feat/ui

swappy

Unverified signature
9a3445e
10:44
fix: update inference validation workflow

sourasishbasu

da53840
09:41
feat: add browser UI at / for QED Math environment

sourasishbasu

2743bb8
08:25
fix: update QED_MATH_URL secret reference⁠

swappy

c1d3003
08:17
fix: update ghactions env vars

sourasishbasu

ed78dc2
08:12
fix: replace ActionsDesk/lfs-warning with shell find for file size check⁠

sourasishbasu

63573f7
07:52
Merge pull request #6 from 3xcaffeine/ci-improvements

swappy

Unverified signature
96c0f1a
07:49
add .gitattributes and normalize line endings to LF

sourasishbasu

2e3721b
07:47
fix ruff lint errors in qed_math_environment.py

sourasishbasu

79e2b1e
07:26
add .docs/ to .gitignore⁠

sourasishbasu

d02fc6d
07:23
add inference validation workflow⁠

sourasishbasu

3741739
07:22
add ruff lint and format CI check

sourasishbasu

3d4d827
07:20
consolidate Dockerfiles and add GHCR image publish workflow

sourasishbasu

f8ff84a

Apr 4

15:33
Merge pull request #4 from 3xcaffeine/gh-actions

swappy

Unverified signature
16f065e
15:22
check for existing hf space & create if not found

swappy

8c52cf1
15:20
improve handling of env vars

swappy

9c9678d
15:14
add gh-action branch to workflow

swappy

b648167
15:13
gh actions for checking file sizes and syncing to hf

swappy

eaa5e59
15:01
enforce strict START/STEP/END stdout

swappy

d316098
15:01
default runtime dataset to FineProofs-RL-test[:10]

swappy

ef46040
14:59
dataset spec overrides and task-id tool

swappy

340fbac
13:55
update openenv dep to point at fixed mcp

swappy

0545a3b

Apr 3

15:52
add hf Dockerfile for multi-stage build and deployment setup

swappy

44b35f9
11:04
update inference.py to use .env if available⁠

swappy

165df01
07:53
reorganize dependencies in pyproject.toml & add .env.example

swappy

82f4d4d
07:52
refactor inference script to follow guidelines

swappy

3fd8a37
07:09
fix tests

swappy

c769ae0
07:09
type ignore

swappy

8d82e02
07:08
fix windows parse/verify fail with timeout wrapper⁠

swappy

6b09b43
07:08
fix imports

swappy

b6320d7
06:07
move inference script to root

swappy

a4fbf97
06:07
remove license headers

swappy

4a485d9

Apr 2

21:32
openenv validator

swappy

112834a
19:51
tests and inference script

swappy

84029ab
18:40
tests package

shopno

1228fd0
16:03
math verifier service

shopno

8e68dc7
12:46
impl QED math environment

sourasishbasu

ad3460f
09:13
server code, rubric, and prompts

swappy

3372462
01:46
QED Math Environment

sourasishbasu

9d852e5

Mar 31

20:51
init

swappy

9542047

Commit History

Apr 7

feat: task handling and score validation

fix: update QED_MATH_URL default and logging with score tracking

Apr 5

Merge pull request #7 from 3xcaffeine/feat/ui

fix: update inference validation workflow

feat: add browser UI at / for QED Math environment

fix: update QED_MATH_URL secret reference⁠

fix: update ghactions env vars

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

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

add .gitattributes and normalize line endings to LF

fix ruff lint errors in qed_math_environment.py

add .docs/ to .gitignore⁠

add inference validation workflow⁠

add ruff lint and format CI check

consolidate Dockerfiles and add GHCR image publish workflow

Apr 4

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

check for existing hf space & create if not found

improve handling of env vars

add gh-action branch to workflow

gh actions for checking file sizes and syncing to hf

enforce strict START/STEP/END stdout

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

dataset spec overrides and task-id tool

update openenv dep to point at fixed mcp

Apr 3

add hf Dockerfile for multi-stage build and deployment setup

update inference.py to use .env if available⁠

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

refactor inference script to follow guidelines

fix tests

type ignore

fix windows parse/verify fail with timeout wrapper⁠

fix imports

move inference script to root

remove license headers

Apr 2

openenv validator

tests and inference script

tests package

math verifier service

impl QED math environment

server code, rubric, and prompts

QED Math Environment

Mar 31

init