Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction Paper • 2508.03613 • Published Aug 5, 2025 • 14
Code2World: A GUI World Model via Renderable Code Generation Paper • 2602.09856 • Published 21 days ago • 196
huihui-ai/Huihui-gpt-oss-20b-BF16-abliterated-v2 Text Generation • 21B • Updated Sep 28, 2025 • 6.87k • 37