{"work":{"id":"d5be73f4-5f56-4254-94ca-01e3bba69c3c","openalex_id":"https://openalex.org/W4322616316","doi":"10.48550/arxiv.2302.12433","arxiv_id":"2302.12433","raw_key":null,"title":"Cohan, A., Feldman, S., Beltagy, I., Downey, D., and Weld, D","authors":null,"authors_text":"URLhttps://arxiv","year":2023,"venue":"arXiv (Cornell University)","abstract":null,"external_url":"https://arxiv.org/abs/2302.12433","cited_by_count":14,"metadata_source":"arxiv_reference","metadata_fetched_at":"2026-08-05T02:28:24.338817+00:00","pith_arxiv_id":null,"created_at":"2026-05-11T00:15:51.750891+00:00","updated_at":"2026-08-05T02:28:24.338817+00:00","title_quality_ok":false,"display_title":"Proofnet: Autoformalizing and formally proving undergraduate-level mathematics","render_title":"Proofnet: Autoformalizing and formally proving undergraduate-level mathematics"},"hub":{"state":{"work_id":"d5be73f4-5f56-4254-94ca-01e3bba69c3c","tier":"hub","tier_reason":"10+ Pith inbound or 1,000+ external citations","pith_inbound_count":33,"external_cited_by_count":14,"distinct_field_count":11,"first_pith_cited_at":"2023-10-16T17:54:07+00:00","last_pith_cited_at":"2026-06-30T00:27:53+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-22T20:39:24.053128+00:00","tier_text":"hub"},"tier":"hub","role_counts":[{"context_role":"background","n":4},{"context_role":"dataset","n":1}],"polarity_counts":[{"context_polarity":"background","n":4},{"context_polarity":"use_dataset","n":1}],"runs":{},"summary":{},"graph":{},"authors":[]}}