Geeks
ChloeL19
/
RLVF
Reinforcement Learning from Verifier Feedback in Coq
Primary Language
Jupyter Notebook
RLVF GitHub
Markdown
Readme
0
Issues
1
Stargazer
3
Watchers
RLVF
Reinforcement Learning from Verifier Feedback in Coq