open-sourcing the full Goedel-Prover-V2 training datasets for the community: SFT (1.74M samples) https://huggingface.co/datasets/Goedel-LM/SFT_dataset_v2 RL (whole proof generation + self-revision, 98k samples) https://huggingface.co/datasets/Goedel-LM/RL_dataset_V2
open-sourcing the full Goedel-Prover-V2 training datasets for the community:…
0 viewsОткрыть в Telegram →
Из этого канала
- #6180https://www.together.ai/blog/coderforge-preview CoderForge-Preview: SOTA Open…
https://www.together.ai/blog/coderforge-preview CoderForge-Preview: SOTA Open Dataset for Training Efficient Agents…
- #6181ну слушайте вроде неплохо
ну слушайте вроде неплохо
- #6182не то чтобы она прям с первого раза со всем справлялась, но и агентская штука…
не то чтобы она прям с первого раза со всем справлялась, но и агентская штука зед какой-то мб там с промтами неоч
- #6178я слышал она в кодинге хороша
я слышал она в кодинге хороша
- #6176https://llmskirmish.com/
https://llmskirmish.com/