{"id":"https://openalex.org/W7224464918","doi":"https://doi.org/10.18653/2026.emnlp-main.1385","title":"RIGOR: Atomic Semantic Normalization and Declarative Constraint Reasoning for Geometry Problem Solving","display_name":"RIGOR: Atomic Semantic Normalization and Declarative Constraint Reasoning for Geometry Problem Solving","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7224464918","doi":"https://doi.org/10.18653/2026.emnlp-main.1385"},"language":"en","primary_location":{"id":"doi:10.18653/2026.emnlp-main.1385","doi":"https://doi.org/10.18653/2026.emnlp-main.1385","is_oa":true,"landing_page_url":"https://doi.org/10.18653/2026.emnlp-main.1385","pdf_url":"https://aclanthology.org/2026.emnlp-main.1385.pdf","source":{"id":"https://openalex.org/S4363608991","display_name":"Conference on Empirical Methods in Natural Language Processing (EMNLP)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2026 Conference on Empirical Methods in Natural Language Processing","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://aclanthology.org/2026.emnlp-main.1385.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5160114286","display_name":"Yuhang Dong","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuhang Dong","raw_affiliation_strings":["Laboratory of Parallel Software and Computational Science , ISCAS , Beijing , China","University of Chinese Academy of Sciences , Beijing , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory of Parallel Software and Computational Science , ISCAS , Beijing , China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences , Beijing , China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016774863","display_name":"Weijie Yu","orcid":"https://orcid.org/0000-0002-5676-4339","observed_orcids":["https://orcid.org/0000-0002-5676-4339"]},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weijie Yu","raw_affiliation_strings":["Laboratory of Parallel Software and Computational Science , ISCAS , Beijing , China","University of Chinese Academy of Sciences , Beijing , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory of Parallel Software and Computational Science , ISCAS , Beijing , China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences , Beijing , China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5160123188","display_name":"Ziheng Wang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ziheng Wang","raw_affiliation_strings":["Hangzhou Institute for Advanced Study , UCAS , Hangzhou , China","University of Chinese Academy of Sciences , Beijing , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hangzhou Institute for Advanced Study , UCAS , Hangzhou , China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences , Beijing , China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111916355","display_name":"Kunhang Lv","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kunhang Lv","raw_affiliation_strings":["SKLCS and Key Laboratory of System Software , ISCAS , Beijing , China","University of Chinese Academy of Sciences , Beijing , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SKLCS and Key Laboratory of System Software , ISCAS , Beijing , China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences , Beijing , China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5160071776","display_name":"Rui Han","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rui Han","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059124115","display_name":"Fuqi Jia","orcid":"https://orcid.org/0000-0001-9947-2187","observed_orcids":["https://orcid.org/0000-0001-9947-2187"]},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fuqi Jia","raw_affiliation_strings":["SKLCS and Key Laboratory of System Software , ISCAS , Beijing , China","University of Chinese Academy of Sciences , Beijing , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SKLCS and Key Laboratory of System Software , ISCAS , Beijing , China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences , Beijing , China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5160069503","display_name":"Minghao Yin","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I184983240","display_name":"Northeast Normal University","ror":"https://ror.org/02rkvz144","country_code":"CN","type":"education","lineage":["https://openalex.org/I184983240"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Minghao Yin","raw_affiliation_strings":["Northeast Normal University , Changchun , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeast Normal University , Changchun , China","institution_ids":["https://openalex.org/I184983240"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100562744","display_name":"Feifei Ma","orcid":"https://orcid.org/0000-0001-8013-1569","observed_orcids":["https://orcid.org/0000-0001-8013-1569"]},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Feifei Ma","raw_affiliation_strings":["Laboratory of Parallel Software and Computational Science , ISCAS , Beijing , China","University of Chinese Academy of Sciences , Beijing , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory of Parallel Software and Computational Science , ISCAS , Beijing , China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences , Beijing , China","institution_ids":["https://openalex.org/I4210165038"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.7997599,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"31626","last_page":"31642"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.30399999022483826,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.30399999022483826,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.19419999420642853,"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.05889999866485596,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/geometry-problem-solving","display_name":"geometry problem solving","score":0.9959999918937683},{"id":"https://openalex.org/keywords/neuro-symbolic-reasoning","display_name":"neuro-symbolic reasoning","score":0.8740000128746033},{"id":"https://openalex.org/keywords/proof-reconstruction","display_name":"proof reconstruction","score":0.7730000019073486},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"automated theorem proving","score":0.675000011920929},{"id":"https://openalex.org/keywords/smart-education","display_name":"smart education","score":0.5}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5347999930381775},{"id":"https://openalex.org/C136886441","wikidata":"https://www.wikidata.org/wiki/Q926129","display_name":"Normalization (sociology)","level":2,"score":0.4828999936580658},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.41339999437332153},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40689998865127563},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4059000015258789},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39340001344680786},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37290000915527344},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.36039999127388},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34040001034736633},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.30809998512268066},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3034999966621399},{"id":"https://openalex.org/C103057564","wikidata":"https://www.wikidata.org/wiki/Q4751139","display_name":"Analytic reasoning","level":3,"score":0.28870001435279846},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.2883000075817108},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2791000008583069},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.2720000147819519},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.26649999618530273},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.26510000228881836},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.26080000400543213},{"id":"https://openalex.org/C203264685","wikidata":"https://www.wikidata.org/wiki/Q2328174","display_name":"Atomic formula","level":2,"score":0.2572999894618988}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18653/2026.emnlp-main.1385","doi":"https://doi.org/10.18653/2026.emnlp-main.1385","is_oa":true,"landing_page_url":"https://doi.org/10.18653/2026.emnlp-main.1385","pdf_url":"https://aclanthology.org/2026.emnlp-main.1385.pdf","source":{"id":"https://openalex.org/S4363608991","display_name":"Conference on Empirical Methods in Natural Language Processing (EMNLP)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2026 Conference on Empirical Methods in Natural Language Processing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18653/2026.emnlp-main.1385","doi":"https://doi.org/10.18653/2026.emnlp-main.1385","is_oa":true,"landing_page_url":"https://doi.org/10.18653/2026.emnlp-main.1385","pdf_url":"https://aclanthology.org/2026.emnlp-main.1385.pdf","source":{"id":"https://openalex.org/S4363608991","display_name":"Conference on Empirical Methods in Natural Language Processing (EMNLP)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2026 Conference on Empirical Methods in Natural Language Processing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G9000845959","display_name":null,"funder_award_id":"62572461","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7224464918.pdf","grobid_xml":"https://content.openalex.org/works/W7224464918.grobid-xml"},"referenced_works_count":6,"referenced_works":["https://openalex.org/W4384918448","https://openalex.org/W4386185600","https://openalex.org/W4402727669","https://openalex.org/W4404573372","https://openalex.org/W4405903187","https://openalex.org/W4416611578"],"related_works":["https://openalex.org/W7169717210","https://openalex.org/W2013999060","https://openalex.org/W190267494","https://openalex.org/W2187638561","https://openalex.org/W4416037127","https://openalex.org/W2469916483","https://openalex.org/W7167784810","https://openalex.org/W2327874922","https://openalex.org/W925091654","https://openalex.org/W4412886903"],"abstract_inverted_index":{"Geometry":[0],"Problem":[1],"Solving":[2],"(GPS)":[3],"is":[4,153],"a":[5,77,91,114],"fundamental":[6],"task":[7],"in":[8,13,51,62],"mathematical":[9],"reasoning,":[10],"with":[11],"applications":[12],"intelligent":[14],"education":[15],"and":[16,36,65,86,124],"automated":[17],"theorem":[18],"proving.Existing":[19],"neurosymbolic":[20],"solvers":[21],"often":[22],"rely":[23],"on":[24,82,96,137],"two":[25],"restrictive":[26],"assumptions:":[27],"textual":[28],"conditions":[29],"are":[30],"expressed":[31],"as":[32],"atomic":[33,107],"geometric":[34,56,104,122],"statements,":[35],"target":[37,126],"derivation":[38],"can":[39],"be":[40],"reduced":[41],"to":[42,59,102],"eager":[43],"elimination":[44,70],"of":[45],"intermediate":[46],"variables.These":[47],"assumptions":[48],"break":[49],"down":[50],"realistic":[52],"problems,":[53],"where":[54],"coupled":[55],"descriptions":[57],"lead":[58],"combinatorial":[60],"growth":[61],"parsing":[63],"patterns,":[64],"nonlinear":[66],"constraints":[67,123],"make":[68],"explicit":[69],"inefficient":[71],"or":[72],"even":[73],"intractable.We":[74],"propose":[75],"RIGOR,":[76],"neuro-symbolic":[78],"GPS":[79,140],"framework":[80],"based":[81],"Atomic":[83],"Semantic":[84,93],"Normalization":[85],"Declarative":[87,115],"Constraint":[88],"Reasoning.RIGOR":[89],"uses":[90],"Geometric":[92],"Normalizer":[94],"trained":[95],"our":[97],"newly":[98],"constructed":[99],"GSN-15K":[100],"dataset":[101],"normalize":[103],"texts":[105],"into":[106],"statements":[108],"for":[109],"reliable":[110],"formalization.It":[111],"then":[112],"adopts":[113],"Symbolic":[116],"Engine":[117],"that":[118,143],"globally":[119],"accumulates":[120],"derived":[121],"determines":[125],"values":[127],"through":[128],"constraint":[129],"entailment,":[130],"while":[131,148],"also":[132],"reconstructing":[133],"proofgrounded":[134],"reasoning":[135],"traces.Experiments":[136],"multiple":[138],"standard":[139],"benchmarks":[141],"show":[142],"RIGOR":[144],"outperforms":[145],"state-of-the-art":[146],"methods":[147],"producing":[149],"interpretable":[150],"derivations.Our":[151],"project":[152],"available":[154],"at":[155],"https://github.com/":[156],"dongyuhang22/RIGOR.":[157]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-10-30T00:00:00"}