{"work":{"id":"06a2ed7e-52e1-4927-ba09-545d2843a7f4","openalex_id":"https://openalex.org/W7116981254","doi":"10.48550/arxiv.2512.17260","arxiv_id":"2512.17260","raw_key":null,"title":"arXiv preprint arXiv:2512.17260 , year=","authors":null,"authors_text":"Chen, J","year":2025,"venue":"arXiv (Cornell University)","abstract":null,"external_url":"https://arxiv.org/abs/2512.17260","cited_by_count":0,"metadata_source":"arxiv_reference","metadata_fetched_at":"2026-08-05T02:28:24.338817+00:00","pith_arxiv_id":null,"created_at":"2026-05-10T10:29:25.474608+00:00","updated_at":"2026-08-05T02:28:24.338817+00:00","title_quality_ok":false,"display_title":"Seed-prover 1.5: Mastering undergraduate-level theorem proving via learning from experience","render_title":"Seed-prover 1.5: Mastering undergraduate-level theorem proving via learning from experience"},"hub":{"state":{"work_id":"06a2ed7e-52e1-4927-ba09-545d2843a7f4","tier":"hub","tier_reason":"10+ Pith inbound or 1,000+ external citations","pith_inbound_count":20,"external_cited_by_count":0,"distinct_field_count":8,"first_pith_cited_at":"2026-01-19T16:38:18+00:00","last_pith_cited_at":"2026-06-30T22:57:43+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-08-21T07:19:51.884026+00:00","tier_text":"hub"},"tier":"hub","role_counts":[{"context_role":"background","n":7},{"context_role":"baseline","n":1}],"polarity_counts":[{"context_polarity":"background","n":7},{"context_polarity":"baseline","n":1}],"runs":{},"summary":{},"graph":{},"authors":[]}}