Hugging Face's logo

codelion
/
sprog-9m

MLX
sprog
math
gsm8k
symbolic
math-word-problems
from-scratch
Eval Results (legacy)
Eval Results
Model card Files
xet
 Community
1
sprog-9m

Commit History

Yesterday

  1. Remove pipeline_tag (question-answering means extractive QA on the Hub; this is a program-generating solver)

    codelion
    Verified signature
    e44d22b

  1. Clean up model card prose (remove em-dashes and inline bold emphasis)

    codelion
    Verified signature
    625f50d

  2. Fix model-index dataset type: gsm8k -> openai/gsm8k (canonical Hub id)

    codelion
    Verified signature
    b36266d

  1. Add GSM8K eval result on main with date (leaderboard linking)

    codelion
    Verified signature
    0311161

  2. Move GSM8K eval result to community PR

    codelion
    Verified signature
    0ca1ac3

  3. Add model-index GSM8K result for right-side eval widget

    codelion
    Verified signature
    8d6dc47

  4. Add GSM8K eval result for leaderboard integration (self-reported, symbolic verifier)

    codelion
    Verified signature
    6d52fea

  1. Clarify metric: verifier@96 self-consistency (single answer), not pass@96

    codelion
    Verified signature
    ec3988b

  2. Fix strikethrough rendering (tildes -> approx symbol)

    codelion
    Verified signature
    bf2f12f

  3. Fix pipeline_tag metadata

    codelion
    Verified signature
    758ab1c

  4. Add SPROG-9M: 9.37M from-scratch LLM-free GSM8K solver (~11.8% test)

    codelion
    Verified signature
    1a4b406

  5. initial commit

    codelion
    Verified signature
    4874d05