{"work":{"id":"45529b20-4e41-47ea-bfe7-d039dfd71cba","openalex_id":null,"doi":null,"arxiv_id":"1620.369552","raw_key":null,"title":"Proof automation with large language models,","authors":null,"authors_text":"M","year":2024,"venue":null,"abstract":null,"external_url":"https://arxiv.org/abs/1620.369552","cited_by_count":null,"metadata_source":"arxiv_reference","metadata_fetched_at":"2026-06-29T20:23:57.867422+00:00","pith_arxiv_id":null,"created_at":"2026-05-10T18:30:42.879859+00:00","updated_at":"2026-06-29T20:23:57.867422+00:00","title_quality_ok":false,"display_title":"Test-driven development and llm-based code generation","render_title":"Test-driven development and llm-based code generation"},"hub":{"state":{"work_id":"45529b20-4e41-47ea-bfe7-d039dfd71cba","tier":"hub","tier_reason":"10+ Pith inbound or 1,000+ external citations","pith_inbound_count":16,"external_cited_by_count":null,"distinct_field_count":2,"first_pith_cited_at":"2025-05-26T07:46:42+00:00","last_pith_cited_at":"2026-06-19T07:19:08+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-30T12:49:50.975423+00:00","tier_text":"hub"},"tier":"hub","role_counts":[{"context_role":"background","n":5}],"polarity_counts":[{"context_polarity":"background","n":5}],"runs":{},"summary":{},"graph":{},"authors":[]}}