{"work":{"id":"bd200a12-cce5-4d5d-b82c-03b5e00728a1","openalex_id":null,"doi":null,"arxiv_id":null,"raw_key":"raw:b7d2d11d36962fe1c3232f9d","title":"Mathematical discoveries from program search with large language models","authors":null,"authors_text":"Bernardino Romera-Paredes, Mohammadamin Barekatain, Alexander Novikov, Matej Balog, M Pawan Kumar, Emilien Dupont, Francisco JR Ruiz, Jordan S Ellenberg, Pengming Wang, Omar Fawzi, et al","year":2024,"venue":null,"abstract":null,"external_url":null,"cited_by_count":null,"metadata_source":"raw_reference","metadata_fetched_at":"2026-07-08T11:54:52.102261+00:00","pith_arxiv_id":null,"created_at":"2026-05-14T10:13:37.450521+00:00","updated_at":"2026-07-08T11:54:52.102261+00:00","title_quality_ok":true,"display_title":"Mathematical discoveries from program search with large language models","render_title":"Mathematical discoveries from program search with large language models"},"hub":{"state":{"work_id":"bd200a12-cce5-4d5d-b82c-03b5e00728a1","tier":"hub","tier_reason":"10+ Pith inbound or 1,000+ external citations","pith_inbound_count":10,"external_cited_by_count":null,"distinct_field_count":3,"first_pith_cited_at":"2025-03-18T17:11:24+00:00","last_pith_cited_at":"2026-05-20T06:05: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-06-25T20:23:53.057369+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":[]}}