Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Name: Work Video:
Duration: 3 min 30 s
Description: Pan Lu, Ran Gong, Shibiao Jiang, Liang Qiu, Siyuan Huang, Xiaodan Liang, Song-Chun Zhu. Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing (Volume 1: Long Papers). 2021.
Pan Lu; Ran Gong; Shibiao Jiang; Liang Qiu; Siyuan Huang; Xiaodan Liang; Song‐Chun Zhu
{'id': 'https://openalex.org/W3176371077', 'doi': 'https://doi.org/10.18653/v1/2021.acl-long.528', 'title': 'Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning', 'display_name': 'Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning', 'publication_year': 2021, 'publication_date': '2021-01-01', 'ids': {'openalex': 'https://openalex.org/W3176371077', 'doi': 'https://doi.org/10.18653/v1/2021.acl-long.528', 'mag': '3176371077'}, 'language': 'en', 'primary_location': {'is_oa': True, 'landing_page_url': 'https://doi.org/10.18653/v1/2021.acl-long.528', 'pdf_url': 'https://aclanthology.org/2021.acl-long.528.pdf', 'source': None, 'license': 'cc-by', 'license_id': 'https://openalex.org/licenses/cc-by', 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'type': 'article', 'type_crossref': 'proceedings-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': True, 'oa_status': 'hybrid', 'oa_url': 'https://aclanthology.org/2021.acl-long.528.pdf', 'any_repository_has_fulltext': True}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5008156638', 'display_name': 'Pan Lu', 'orcid': 'https://orcid.org/0000-0002-1640-3598'}, 'institutions': [], 'countries': [], 'is_corresponding': False, 'raw_author_name': 'Pan Lu', 'raw_affiliation_strings': ['Center for Vision, Cognition, Learning and Autonomy, UCLA'], 'affiliations': [{'raw_affiliation_string': 'Center for Vision, Cognition, Learning and Autonomy, UCLA', 'institution_ids': []}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5029010405', 'display_name': 'Ran Gong', 'orcid': 'https://orcid.org/0009-0000-9365-9143'}, 'institutions': [], 'countries': [], 'is_corresponding': False, 'raw_author_name': 'Ran Gong', 'raw_affiliation_strings': ['Center for Vision, Cognition, Learning and Autonomy, UCLA'], 'affiliations': [{'raw_affiliation_string': 'Center for Vision, Cognition, Learning and Autonomy, UCLA', 'institution_ids': []}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5059467935', 'display_name': 'Shibiao Jiang', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I168879160', 'display_name': 'Zhejiang University of Science and Technology', 'ror': 'https://ror.org/05mx0wr29', 'country_code': 'CN', 'type': 'education', 'lineage': ['https://openalex.org/I168879160']}], 'countries': ['CN'], 'is_corresponding': False, 'raw_author_name': 'Shibiao Jiang', 'raw_affiliation_strings': ['College of Computer Science and Technology, Zhejiang University'], 'affiliations': [{'raw_affiliation_string': 'College of Computer Science and Technology, Zhejiang University', 'institution_ids': ['https://openalex.org/I168879160']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5004256678', 'display_name': 'Liang Qiu', 'orcid': 'https://orcid.org/0000-0001-9904-2953'}, 'institutions': [], 'countries': [], 'is_corresponding': False, 'raw_author_name': 'Liang Qiu', 'raw_affiliation_strings': ['Center for Vision, Cognition, Learning and Autonomy, UCLA'], 'affiliations': [{'raw_affiliation_string': 'Center for Vision, Cognition, Learning and Autonomy, UCLA', 'institution_ids': []}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5067080265', 'display_name': 'Siyuan Huang', 'orcid': 'https://orcid.org/0000-0003-1524-7148'}, 'institutions': [], 'countries': [], 'is_corresponding': False, 'raw_author_name': 'Siyuan Huang', 'raw_affiliation_strings': ['Center for Vision, Cognition, Learning and Autonomy, UCLA'], 'affiliations': [{'raw_affiliation_string': 'Center for Vision, Cognition, Learning and Autonomy, UCLA', 'institution_ids': []}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5047878798', 'display_name': 'Xiaodan Liang', 'orcid': 'https://orcid.org/0000-0003-3213-3062'}, 'institutions': [{'id': 'https://openalex.org/I157773358', 'display_name': 'Sun Yat-sen University', 'ror': 'https://ror.org/0064kty71', 'country_code': 'CN', 'type': 'education', 'lineage': ['https://openalex.org/I157773358']}], 'countries': ['CN'], 'is_corresponding': False, 'raw_author_name': 'Xiaodan Liang', 'raw_affiliation_strings': ['School of Intelligent Systems Engineering, Sun Yat-sen University'], 'affiliations': [{'raw_affiliation_string': 'School of Intelligent Systems Engineering, Sun Yat-sen University', 'institution_ids': ['https://openalex.org/I157773358']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5034228010', 'display_name': 'Song‐Chun Zhu', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I4210100255', 'display_name': 'Beijing Academy of Artificial Intelligence', 'ror': 'https://ror.org/016a74861', 'country_code': 'CN', 'type': 'other', 'lineage': ['https://openalex.org/I4210100255']}, {'id': 'https://openalex.org/I4392738278', 'display_name': 'Beijing Institute for General Artificial Intelligence', 'ror': 'https://ror.org/02kw1ws04', 'country_code': None, 'type': 'government', 'lineage': ['https://openalex.org/I4392738278']}, {'id': 'https://openalex.org/I20231570', 'display_name': 'Peking University', 'ror': 'https://ror.org/02v51f717', 'country_code': 'CN', 'type': 'education', 'lineage': ['https://openalex.org/I20231570']}, {'id': 'https://openalex.org/I99065089', 'display_name': 'Tsinghua University', 'ror': 'https://ror.org/03cve4549', 'country_code': 'CN', 'type': 'education', 'lineage': ['https://openalex.org/I99065089']}, {'id': 'https://openalex.org/I111483173', 'display_name': 'King University', 'ror': 'https://ror.org/01evb6z23', 'country_code': 'US', 'type': 'education', 'lineage': ['https://openalex.org/I111483173']}], 'countries': ['CN', 'US'], 'is_corresponding': False, 'raw_author_name': 'Song-Chun Zhu', 'raw_affiliation_strings': ['Beijing Institute of General Artificial Intelligence,', 'Center for Vision, Cognition, Learning and Autonomy, UCLA', 'Peking University,', 'Tsinghua University'], 'affiliations': [{'raw_affiliation_string': 'Center for Vision, Cognition, Learning and Autonomy, UCLA', 'institution_ids': []}, {'raw_affiliation_string': 'Beijing Institute of General Artificial Intelligence,', 'institution_ids': ['https://openalex.org/I4210100255', 'https://openalex.org/I4392738278']}, {'raw_affiliation_string': 'Peking University,', 'institution_ids': ['https://openalex.org/I20231570', 'https://openalex.org/I111483173']}, {'raw_affiliation_string': 'Tsinghua University', 'institution_ids': ['https://openalex.org/I99065089']}]}], 'institution_assertions': [], 'countries_distinct_count': 2, 'institutions_distinct_count': 7, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 5.187, 'has_fulltext': True, 'fulltext_origin': 'pdf', 'cited_by_count': 52, 'citation_normalized_percentile': {'value': 0.999914, 'is_in_top_1_percent': True, 'is_in_top_10_percent': True}, 'cited_by_percentile_year': {'min': 98, 'max': 99}, 'biblio': {'volume': None, 'issue': None, 'first_page': None, 'last_page': None}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10181', 'display_name': 'Natural Language Processing Techniques', 'score': 0.9995, 'subfield': {'id': 'https://openalex.org/subfields/1702', 'display_name': 'Artificial Intelligence'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, 'topics': [{'id': 'https://openalex.org/T10181', 'display_name': 'Natural Language Processing Techniques', 'score': 0.9995, 'subfield': {'id': 'https://openalex.org/subfields/1702', 'display_name': 'Artificial Intelligence'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, {'id': 'https://openalex.org/T10028', 'display_name': 'Topic Modeling', 'score': 0.9991, 'subfield': {'id': 'https://openalex.org/subfields/1702', 'display_name': 'Artificial Intelligence'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, {'id': 'https://openalex.org/T11714', 'display_name': 'Multimodal Machine Learning Applications', 'score': 0.9941, 'subfield': {'id': 'https://openalex.org/subfields/1707', 'display_name': 'Computer Vision and Pattern Recognition'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}], 'keywords': [{'id': 'https://openalex.org/keywords/computational-linguistics', 'display_name': 'Computational linguistics', 'score': 0.5638757}], 'concepts': [{'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.57516956}, {'id': 'https://openalex.org/C155092808', 'wikidata': 'https://www.wikidata.org/wiki/Q182557', 'display_name': 'Computational linguistics', 'level': 2, 'score': 0.5638757}, {'id': 'https://openalex.org/C195324797', 'wikidata': 'https://www.wikidata.org/wiki/Q33742', 'display_name': 'Natural language', 'level': 2, 'score': 0.4685667}, {'id': 'https://openalex.org/C60229501', 'wikidata': 'https://www.wikidata.org/wiki/Q18822', 'display_name': 'Global Positioning System', 'level': 2, 'score': 0.46440482}, {'id': 'https://openalex.org/C18555067', 'wikidata': 'https://www.wikidata.org/wiki/Q8375051', 'display_name': 'Joint (building)', 'level': 2, 'score': 0.4491003}, {'id': 'https://openalex.org/C146072743', 'wikidata': 'https://www.wikidata.org/wiki/Q192161', 'display_name': 'Formal language', 'level': 2, 'score': 0.41830957}, {'id': 'https://openalex.org/C154945302', 'wikidata': 'https://www.wikidata.org/wiki/Q11660', 'display_name': 'Artificial intelligence', 'level': 1, 'score': 0.40397}, {'id': 'https://openalex.org/C204321447', 'wikidata': 'https://www.wikidata.org/wiki/Q30642', 'display_name': 'Natural language processing', 'level': 1, 'score': 0.3791559}, {'id': 'https://openalex.org/C41895202', 'wikidata': 'https://www.wikidata.org/wiki/Q8162', 'display_name': 'Linguistics', 'level': 1, 'score': 0.37829536}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.25681943}, {'id': 'https://openalex.org/C138885662', 'wikidata': 'https://www.wikidata.org/wiki/Q5891', 'display_name': 'Philosophy', 'level': 0, 'score': 0.15560552}, {'id': 'https://openalex.org/C127413603', 'wikidata': 'https://www.wikidata.org/wiki/Q11023', 'display_name': 'Engineering', 'level': 0, 'score': 0.09697923}, {'id': 'https://openalex.org/C76155785', 'wikidata': 'https://www.wikidata.org/wiki/Q418', 'display_name': 'Telecommunications', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C170154142', 'wikidata': 'https://www.wikidata.org/wiki/Q150737', 'display_name': 'Architectural engineering', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 2, 'locations': [{'is_oa': True, 'landing_page_url': 'https://doi.org/10.18653/v1/2021.acl-long.528', 'pdf_url': 'https://aclanthology.org/2021.acl-long.528.pdf', 'source': None, 'license': 'cc-by', 'license_id': 'https://openalex.org/licenses/cc-by', 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, {'is_oa': True, 'landing_page_url': 'http://arxiv.org/abs/2105.04165', 'pdf_url': 'http://arxiv.org/pdf/2105.04165', 'source': {'id': 'https://openalex.org/S4306400194', 'display_name': 'arXiv (Cornell University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I205783295', 'host_organization_name': 'Cornell University', 'host_organization_lineage': ['https://openalex.org/I205783295'], 'host_organization_lineage_names': ['Cornell University'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'https://doi.org/10.18653/v1/2021.acl-long.528', 'pdf_url': 'https://aclanthology.org/2021.acl-long.528.pdf', 'source': None, 'license': 'cc-by', 'license_id': 'https://openalex.org/licenses/cc-by', 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'sustainable_development_goals': [{'score': 0.83, 'display_name': 'Quality education', 'id': 'https://metadata.un.org/sdg/4'}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 46, 'referenced_works': ['https://openalex.org/W1594772623', 'https://openalex.org/W1895641373', 'https://openalex.org/W2022751246', 'https://openalex.org/W2077378514', 'https://openalex.org/W2099972257', 'https://openalex.org/W2121406004', 'https://openalex.org/W2124297750', 'https://openalex.org/W2128634885', 'https://openalex.org/W2130942839', 'https://openalex.org/W2194775991', 'https://openalex.org/W2250564385', 'https://openalex.org/W2251874715', 'https://openalex.org/W2611684114', 'https://openalex.org/W2631715525', 'https://openalex.org/W2728624358', 'https://openalex.org/W2734498959', 'https://openalex.org/W2739642399', 'https://openalex.org/W2740314591', 'https://openalex.org/W2757050214', 'https://openalex.org/W2758343314', 'https://openalex.org/W2760103357', 'https://openalex.org/W2762770850', 'https://openalex.org/W2773217979', 'https://openalex.org/W2884561390', 'https://openalex.org/W2890313205', 'https://openalex.org/W2896457183', 'https://openalex.org/W2898429904', 'https://openalex.org/W2898599002', 'https://openalex.org/W2905122540', 'https://openalex.org/W2945720633', 'https://openalex.org/W2951939640', 'https://openalex.org/W2953987971', 'https://openalex.org/W2963341956', 'https://openalex.org/W2963351448', 'https://openalex.org/W2963376030', 'https://openalex.org/W2963403868', 'https://openalex.org/W2963510263', 'https://openalex.org/W2963779892', 'https://openalex.org/W2964199361', 'https://openalex.org/W2979899153', 'https://openalex.org/W3034999214', 'https://openalex.org/W3102315106', 'https://openalex.org/W3174105824', 'https://openalex.org/W4205969993', 'https://openalex.org/W4385245566', 'https://openalex.org/W767947605'], 'related_works': ['https://openalex.org/W2898343019', 'https://openalex.org/W2805505483', 'https://openalex.org/W2586280620', 'https://openalex.org/W253106158', 'https://openalex.org/W2393169196', 'https://openalex.org/W2384744344', 'https://openalex.org/W2366610330', 'https://openalex.org/W2153406043', 'https://openalex.org/W1799694159', 'https://openalex.org/W1500595708'], 'abstract_inverted_index': {'Pan': [0], 'Lu,': [1], 'Ran': [2], 'Gong,': [3], 'Shibiao': [4], 'Jiang,': [5], 'Liang': [6], 'Qiu,': [7], 'Siyuan': [8], 'Huang,': [9], 'Xiaodan': [10], 'Liang,': [11], 'Song-Chun': [12], 'Zhu.': [13], 'Proceedings': [14], 'of': [15, 20], 'the': [16, 21, 27], '59th': [17], 'Annual': [18], 'Meeting': [19], 'Association': [22], 'for': [23], 'Computational': [24], 'Linguistics': [25], 'and': [26], '11th': [28], 'International': [29], 'Joint': [30], 'Conference': [31], 'on': [32], 'Natural': [33], 'Language': [34], 'Processing': [35], '(Volume': [36], '1:': [37], 'Long': [38], 'Papers).': [39], '2021.': [40]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W3176371077', 'counts_by_year': [{'year': 2024, 'cited_by_count': 10}, {'year': 2023, 'cited_by_count': 27}, {'year': 2022, 'cited_by_count': 9}, {'year': 2021, 'cited_by_count': 1}], 'updated_date': '2024-12-24T23:59:36.343630', 'created_date': '2021-07-05'}
Publication Information

Basic Information

Access and Citation

AI Researcher Chatbot

Primary Location

Authors

Topics

Keywords

Related Works
