Skip to content

Actions: Yasirrazaa/Math2Code

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat(verify): sympy verification with .doit() fix + fixed report CI Pipeline #31: Commit 9a2224c pushed by Yasirrazaa
17s main
main
17s
feat(verify): complete 22796-row competition verification + represent… CI Pipeline #30: Commit 3613ee5 pushed by Yasirrazaa
15s main
main
15s
feat(verify): competition split verification scripts + empirical report CI Pipeline #29: Commit 9b5d6b6 pushed by Yasirrazaa
29s main
main
29s
feat(synth): complete 21-family SymPy-surface synthetic expansion (5/… CI Pipeline #28: Commit 756dc89 pushed by Yasirrazaa
18s main
main
18s
feat: truth_code oracle contract (gcd/lcm) + synthetic pool scale-up CI Pipeline #27: Commit c04f202 pushed by Yasirrazaa
21s main
main
21s
feat: edge-case/robustness family — the final strategy slice (5%) CI Pipeline #26: Commit fa7aa54 pushed by Yasirrazaa
16s main
main
16s
feat: mixture-aware training loader + distribution-shape report CI Pipeline #25: Commit 409a3a8 pushed by Yasirrazaa
13s main
main
13s
feat: sequences + geometry families (P1 slices) CI Pipeline #24: Commit b70c28b pushed by Yasirrazaa
16s main
main
16s
feat: multivariate family + training-mixture builder CI Pipeline #23: Commit 936bb47 pushed by Yasirrazaa
24s main
main
24s
feat: function-vocabulary + ODE families — P0 generalization slices CI Pipeline #22: Commit 19eed89 pushed by Yasirrazaa
27s main
main
27s
feat: code-first synthesizer — seeded notation mutation + accept/reje… CI Pipeline #21: Commit c6170f9 pushed by Yasirrazaa
17s main
main
17s
docs: data strategy — measured distribution analysis + verified synth… CI Pipeline #20: Commit dff62ea pushed by Yasirrazaa
12s main
main
12s
docs: fix stale CI test count in README (80 tests) CI Pipeline #19: Commit e5dd811 pushed by Yasirrazaa
21s main
main
21s
fix: resolve antlr4 vs hydra dependency conflict (baseline extra) CI Pipeline #18: Commit a568c62 pushed by Yasirrazaa
12s main
main
12s
chore: 0.3.0 — version bump + single-source version from package meta… CI Pipeline #17: Commit c3a8525 pushed by Yasirrazaa
13s main
main
13s
docs: README/TRAINING reflect reward-funcs-only GRPO (no env_factory) CI Pipeline #16: Commit 393e180 pushed by Yasirrazaa
13s main
main
13s
docs: PLAN.md GRPO section reflects the verified TRL 1.9.x design CI Pipeline #15: Commit 8fd3ef6 pushed by Yasirrazaa
14s main
main
14s
fix: GRPO entrypoint targets TRL 1.9.x reward-func API (verified agai… CI Pipeline #14: Commit bec9751 pushed by Yasirrazaa
12s main
main
12s
feat: README figures (parse baseline by type + split composition), sl… CI Pipeline #13: Commit 7d6eb4b pushed by Yasirrazaa
13s main
main
13s
fix: mypy with real transformers 5.x types (generate call quirk) CI Pipeline #12: Commit f622404 pushed by Yasirrazaa
14s main
main
14s
fix: sanitize HF model ids in result filenames (org/model ids contain /) CI Pipeline #11: Commit 5925cad pushed by Yasirrazaa
14s main
main
14s
fix: HF backend future-proofing + entrypoints resolve without GPU stack CI Pipeline #10: Commit ff55f96 pushed by Yasirrazaa
13s main
main
13s
docs: data card with metric-verified slice numbers; fix counting bug CI Pipeline #9: Commit 72e0a83 pushed by Yasirrazaa
14s main
main
14s
docs: confirm split determinism (byte-identical regeneration) + test … CI Pipeline #8: Commit 08fbe4b pushed by Yasirrazaa
18s main
main
18s
feat: E2B-sandboxed final eval, Weave tracing hook, GPU runbook, mode… CI Pipeline #7: Commit 3cca6d8 pushed by Yasirrazaa
12s main
main
12s