Opinstructhsx
1 mentions across 0 people
All mentions
Unknown speaker
Recommendedpaper · 2026-04-21
“To facilitate this, we release \textbf{OpInstruct-HSx}, a synthetic dataset of $\approx$28k validated Haskell programs.”
Formal Verification Self-Play in Haskell Boosts LLM Code Reasoning via Semantic ↗