{"work":{"id":"c6dcfbe8-c39f-4e3d-86de-0a29d75f8943","openalex_id":null,"doi":null,"arxiv_id":"2509.22819","raw_key":null,"title":"Hilbert: Recursively building formal proofs with informal reasoning.arXiv preprint arXiv:2509.22819, 2025","authors":null,"authors_text":"Sumanth Varambally, Thomas V oice, Yanchao Sun, Zhifeng Chen, Rose Yu, and Ke Ye","year":2025,"venue":null,"abstract":null,"external_url":"https://arxiv.org/abs/2509.22819","cited_by_count":null,"metadata_source":"arxiv_reference","metadata_fetched_at":"2026-05-25T07:46:42.231003+00:00","pith_arxiv_id":null,"created_at":"2026-05-10T08:22:36.784592+00:00","updated_at":"2026-05-25T07:46:42.231003+00:00","title_quality_ok":true,"display_title":"Hilbert: Recursively building formal proofs with informal reasoning.CoRR, abs/2509.22819","render_title":"Hilbert: Recursively building formal proofs with informal reasoning.CoRR, abs/2509.22819"},"hub":{"state":{"work_id":"c6dcfbe8-c39f-4e3d-86de-0a29d75f8943","tier":"hub","tier_reason":"10+ Pith inbound or 1,000+ external citations","pith_inbound_count":11,"external_cited_by_count":null,"distinct_field_count":7,"first_pith_cited_at":"2025-10-14T17:57:04+00:00","last_pith_cited_at":"2026-05-21T17:24:57+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-30T12:21:14.395041+00:00","tier_text":"hub"},"tier":"hub","role_counts":[{"context_role":"background","n":3}],"polarity_counts":[{"context_polarity":"background","n":3}],"runs":{},"summary":{},"graph":{},"authors":[]}}