{"work":{"id":"cfdb69bb-3c0b-41d3-bd34-3167a6931bb2","openalex_id":null,"doi":null,"arxiv_id":"2508.03613","raw_key":null,"title":"Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction","authors":null,"authors_text":"Yong Lin et al","year":2025,"venue":null,"abstract":null,"external_url":"https://arxiv.org/abs/2508.03613","cited_by_count":null,"metadata_source":"arxiv_reference","metadata_fetched_at":"2026-05-15T18:46:29.313094+00:00","pith_arxiv_id":null,"created_at":"2026-05-10T10:29:25.479844+00:00","updated_at":"2026-05-15T18:46:29.313094+00:00","title_quality_ok":true,"display_title":"Scaling long-running autonomous coding, January 2026.https://cursor.com/blog/scaling-agents","render_title":"Scaling long-running autonomous coding, January 2026.https://cursor.com/blog/scaling-agents"},"hub":{"state":{"work_id":"cfdb69bb-3c0b-41d3-bd34-3167a6931bb2","tier":"hub","tier_reason":"10+ Pith inbound or 1,000+ external citations","pith_inbound_count":15,"external_cited_by_count":null,"distinct_field_count":5,"first_pith_cited_at":"2026-02-27T18:43:47+00:00","last_pith_cited_at":"2026-05-13T19:35:46+00:00","author_build_status":"not_needed","summary_status":"needed","contexts_status":"needed","graph_status":"needed","ask_index_status":"not_needed","reader_status":"not_needed","recognition_status":"not_needed","updated_at":"2026-05-17T18:20:03.699480+00:00","tier_text":"hub"},"tier":"hub","role_counts":[{"context_role":"background","n":2}],"polarity_counts":[{"context_polarity":"background","n":2}],"runs":{},"summary":{},"graph":{},"authors":[]}}