Github
2 mentions across 0 people
All mentions
Unknown speaker
Recommendedpaper · 2026-06-10
“Code and prompts are available at GitHub.”
Step-Level Verification Enhances Rigor in LLM Mathematical Proof Evaluation ↗Unknown speaker
Recommendedpaper · 2026-04-21
“The entire training pipeline and dataset are publicly released on GitHub and Hugging Face respectively.”
Formal Verification Self-Play in Haskell Boosts LLM Code Reasoning via Semantic ↗