arxiv:2508.03613
zrrr
zrrr
AI & ML interests
None yet
Recent Activity
authored
a paper
1 day ago
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data
Synthesis and Self-Correction updated
a dataset 4 days ago
Goedel-LM/RL_dataset_V2 updated
a dataset 4 days ago
Goedel-LM/SFT_dataset_v2 Organizations
models 0
None public yet
datasets 0
None public yet