{"work":{"id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","openalex_id":null,"doi":null,"arxiv_id":"2105.04165","raw_key":null,"title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","authors":null,"authors_text":"Lu, P","year":2021,"venue":null,"abstract":null,"external_url":"https://arxiv.org/abs/2105.04165","cited_by_count":null,"metadata_source":"arxiv_reference","metadata_fetched_at":"2026-05-23T04:32:32.498709+00:00","pith_arxiv_id":null,"created_at":"2026-05-10T13:23:57.765724+00:00","updated_at":"2026-06-05T21:23:00.469572+00:00","title_quality_ok":true,"display_title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","render_title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning"},"hub":{"state":{"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","tier":"hub","tier_reason":"10+ Pith inbound or 1,000+ external citations","pith_inbound_count":20,"external_cited_by_count":null,"distinct_field_count":5,"first_pith_cited_at":"2024-03-21T17:59:50+00:00","last_pith_cited_at":"2026-05-10T13:13:47+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-09T02:54:41.798510+00:00","tier_text":"hub"},"tier":"hub","role_counts":[{"context_role":"dataset","n":6},{"context_role":"background","n":5}],"polarity_counts":[{"context_polarity":"use_dataset","n":6},{"context_polarity":"background","n":5}],"runs":{},"summary":{},"graph":{},"authors":[]}}