WIP new GRPO dataset and task: formally-verified program correctness#379

Open

ocramz wants to merge 11 commits intohuggingface:mainfrom unfoldml:feature/htgen-dataset

+308

Commits on Feb 20, 2025

wip adding HTGen dataset and benchmark
Marco Zocca
committed
add API test
Marco Zocca
committed

Commits on Feb 21, 2025

wip adding HTGen dataset and benchmark

Marco Zocca
authored and
ocramz
committed
add API test

Marco Zocca
authored and
ocramz
committed

Commits on Feb 22, 2025

construct prompt in the dataset generator
Marco Zocca
committed
Merge branch 'main' into feature/htgen-dataset
ocramz
authored
merge from upstream
Marco Zocca
committed
prompt construction
Marco Zocca
committed
fix some typos and add more docstrings
Marco Zocca
committed
add reward
Marco Zocca
committed

Commits on Feb 23, 2025

Merge branch 'main' into feature/htgen-dataset
ocramz
authored