{"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 sym- bolic reasoning","authors":null,"authors_text":"Pan Lu, Ran Gong, Shibiao Jiang, Liang Qiu, Siyuan Huang, Xiaodan Liang, and Song-Chun Zhu","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-19T00:41:56.090325+00:00","pith_arxiv_id":null,"created_at":"2026-05-10T13:23:57.765724+00:00","updated_at":"2026-05-19T00:41:56.090325+00:00","title_quality_ok":true,"display_title":"Inter-gps: Interpretable geometry problem solving with formal language and sym- bolic reasoning","render_title":"Inter-gps: Interpretable geometry problem solving with formal language and sym- bolic 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":16,"external_cited_by_count":null,"distinct_field_count":4,"first_pith_cited_at":"2024-03-21T17:59:50+00:00","last_pith_cited_at":"2026-05-02T08:47:45+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-20T17:22:00.569251+00:00","tier_text":"hub"},"tier":"hub","role_counts":[{"context_role":"dataset","n":6},{"context_role":"background","n":4}],"polarity_counts":[{"context_polarity":"use_dataset","n":6},{"context_polarity":"background","n":4}],"runs":{},"summary":{},"graph":{},"authors":[]}}