zrrr
zrrr
AI & ML interests
None yet
Recent Activity
authored
a paper
2 days ago
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data
Synthesis and Self-Correction updated
a dataset 5 days ago
Goedel-LM/RL_dataset_V2 updated
a dataset 5 days ago
Goedel-LM/SFT_dataset_v2 Organizations
