Github
1 mentions across 0 people
All mentions
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 ↗