{"work":{"id":"a5329c4e-41eb-48e2-b93a-3c8a6e30eec9","openalex_id":null,"doi":null,"arxiv_id":"2507.23726","raw_key":null,"title":"Seed-prover: Deep and broad reasoning for automated theorem proving.arXiv preprint arXiv:2507.23726, 2025","authors":null,"authors_text":"Luoxin Chen, Jinming Gu, Liankai Huang, Wenhao Huang, Zhicheng Jiang, Allan Jie, Xiaoran Jin, Xing Jin, Chenggang Li, Kaijing Ma, et al","year":2025,"venue":null,"abstract":null,"external_url":"https://arxiv.org/abs/2507.23726","cited_by_count":null,"metadata_source":"arxiv_reference","metadata_fetched_at":"2026-05-25T07:46:42.290060+00:00","pith_arxiv_id":null,"created_at":"2026-05-11T13:36:03.225433+00:00","updated_at":"2026-05-25T07:46:42.290060+00:00","title_quality_ok":true,"display_title":"Seed-prover: Deep and broad reasoning for automated theorem proving.arXiv preprint arXiv:2507.23726, 2025b","render_title":"Seed-prover: Deep and broad reasoning for automated theorem proving.arXiv preprint arXiv:2507.23726, 2025b"},"hub":{"state":{"work_id":"a5329c4e-41eb-48e2-b93a-3c8a6e30eec9","tier":"hub","tier_reason":"10+ Pith inbound or 1,000+ external citations","pith_inbound_count":15,"external_cited_by_count":null,"distinct_field_count":6,"first_pith_cited_at":"2025-10-01T18:21:13+00:00","last_pith_cited_at":"2026-05-22T15:41:27+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-31T05:02:01.817016+00:00","tier_text":"hub"},"tier":"hub","role_counts":[{"context_role":"background","n":2},{"context_role":"method","n":1}],"polarity_counts":[{"context_polarity":"background","n":2},{"context_polarity":"use_method","n":1}],"runs":{},"summary":{},"graph":{},"authors":[]}}