Reinforcement Learning from Verifier Feedback in Coq
1
stars
17
commits
Jupyter Notebook
primary language
May 14, 2023
updated
17 commits
hoangNguyen210/Reinforcement-Learning-CBM
To RL-CBM
0
NVIDIA-NeMo/RL
Scalable toolkit for efficient model reinforcement
2,005
cychomatica/FreeDave-RL
work in progress
rocq-prover/rfcs
Rocq RFCs: documents to discuss changes to the Rocq Prover
64
coq/ceps
StriderOne/RoboVLM
raoulritter/VLM-Grounding
EmilRyd/diffuse_rl
99.8%
