Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
Paper • 2508.03613 • Published • 17
bahram mehrandish
bamehr
AI & ML interests
None yet
Recent Activity
liked a model 1 day ago
RikiyaT/Qwen3.5-0.8B-weight-space-programming liked a model 4 days ago
mradermacher/gemma-4-31B-it-ARA-heretic-GGUF liked a model 6 days ago
AtomicChat/LFM3-1.7B-Uncensored-GGUFOrganizations
None yet
upvoted a paper 8 days ago
upvoted 7
papers 3 months ago
Self-OPD: On-Policy Distillation for Flow Matching Models without Teacher
Paper • 2608.26872 • Published • 41
Co-RL: Unsupervised Reasoning Emerges from Diverse Cohort in Multi-agent RL
Paper • 2608.17253 • Published • 48
Stable Audio 3
Paper • 2605.17991 • Published • 22
MuLan: A Joint Embedding of Music Audio and Natural Language
Paper • 2208.12415 • Published • 2
Live Music Models
Paper • 2508.04651 • Published • 3
SpectroStream: A Versatile Neural Codec for General Audio
Paper • 2508.05207 • Published • 4
RWKV-7 "Goose" with Expressive Dynamic State Evolution
Paper • 2503.14456 • Published • 154