| Artist | : | GOEDEL-Prover-v2: Scaling Formal Theorem Proving With Scaffolded Data Synthesis and Self-Correction |
| Title | : | AI Papers Podcast Daily |
| Duration | : | 1171 |
| Source | : | Youtube |
| Type of file | : | Audio/Video (.mp3 .mp4) |
| Artist | : | GOEDEL-Prover-v2: Scaling Formal Theorem Proving With Scaffolded Data Synthesis and Self-Correction |
| Title | : | AI Papers Podcast Daily |
| Duration | : | 1171 |
| Source | : | Youtube |
| Type of file | : | Audio/Video (.mp3 .mp4) |