Add GSM8K eval result (self-reported, symbolic verifier)

Move GSM8K eval result to community PR

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

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

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

Fix strikethrough rendering (tildes -> approx symbol)

Fix pipeline_tag metadata

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

initial commit