Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction Paper • 2508.03613 • Published Aug 5, 2025 • 13
Code2World: A GUI World Model via Renderable Code Generation Paper • 2602.09856 • Published 11 days ago • 191
huihui-ai/Huihui-gpt-oss-20b-BF16-abliterated-v2 Text Generation • 21B • Updated Sep 28, 2025 • 5.91k • 37
DavidAU/OpenAi-GPT-oss-20b-HERETIC-uncensored-NEO-Imatrix-gguf Text Generation • 21B • Updated Nov 30, 2025 • 47.1k • 101
DavidAU/GLM-4.7-Flash-Uncensored-Heretic-NEO-CODE-Imatrix-MAX-GGUF Text Generation • 30B • Updated 25 days ago • 90.2k • 228
MuXodious/GLM-4.7-Flash-REAP-23B-A3B-absolute-heresy-GGUF Text Generation • 23B • Updated 21 days ago • 6.52k • 8