{"id":"https://openalex.org/W4416035005","doi":"https://doi.org/10.18653/v1/2025.emnlp-main.1794","title":"Towards Robust Mathematical Reasoning","display_name":"Towards Robust Mathematical Reasoning","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4416035005","doi":"https://doi.org/10.18653/v1/2025.emnlp-main.1794"},"language":"en","primary_location":{"id":"doi:10.18653/v1/2025.emnlp-main.1794","doi":"https://doi.org/10.18653/v1/2025.emnlp-main.1794","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2025.emnlp-main.1794","pdf_url":"https://aclanthology.org/2025.emnlp-main.1794.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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://aclanthology.org/2025.emnlp-main.1794.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078684067","display_name":"Minh-Thang Luong","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thang Luong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Dawsen Hwang","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dawsen Hwang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011980726","display_name":"Hoang H. Nguyen","orcid":"https://orcid.org/0000-0001-6891-9951","observed_orcids":["https://orcid.org/0000-0001-6891-9951"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hoang H Nguyen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029917821","display_name":"Golnaz Ghiasi","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Golnaz Ghiasi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124806557","display_name":"Yuri Chervonyi","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yuri Chervonyi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Insuk Seo","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Insuk Seo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041027404","display_name":"Junsu Kim","orcid":"https://orcid.org/0000-0001-9583-7978","observed_orcids":["https://orcid.org/0000-0001-9583-7978","https://orcid.org/0000-0003-3110-6468","https://orcid.org/0000-0001-9424-5962","https://orcid.org/0000-0002-0641-4891","https://orcid.org/0000-0002-8609-3425","https://orcid.org/0000-0003-2833-5673","https://orcid.org/0000-0002-1508-9218","https://orcid.org/0000-0002-6485-9936","https://orcid.org/0000-0003-4866-5979","https://orcid.org/0009-0009-6143-915X","https://orcid.org/0000-0001-6053-6593","https://orcid.org/0000-0001-7752-0846","https://orcid.org/0000-0001-7798-3381","https://orcid.org/0000-0001-9074-1299","https://orcid.org/0000-0001-9955-8589","https://orcid.org/0000-0002-0287-7434","https://orcid.org/0000-0002-3784-1060","https://orcid.org/0000-0002-3880-8422","https://orcid.org/0000-0002-6755-9154","https://orcid.org/0000-0002-7535-380X","https://orcid.org/0000-0002-8552-3112","https://orcid.org/0000-0002-8755-1918","https://orcid.org/0000-0002-9578-3348","https://orcid.org/0000-0003-2710-0864","https://orcid.org/0009-0000-1191-7226","https://orcid.org/0009-0000-4502-3888","https://orcid.org/0009-0000-4719-1228","https://orcid.org/0009-0001-4195-3479","https://orcid.org/0009-0001-5284-1149","https://orcid.org/0009-0002-1293-6458","https://orcid.org/0009-0002-3155-3540","https://orcid.org/0009-0003-5491-4043","https://orcid.org/0009-0003-6042-6185","https://orcid.org/0009-0004-6538-6829","https://orcid.org/0009-0005-1567-0108","https://orcid.org/0009-0005-6039-259X","https://orcid.org/0009-0006-5210-6028","https://orcid.org/0009-0006-5905-1883","https://orcid.org/0009-0006-6642-2304","https://orcid.org/0009-0006-7109-7948","https://orcid.org/0009-0007-0714-2828","https://orcid.org/0009-0007-2040-8889","https://orcid.org/0009-0007-6078-183X","https://orcid.org/0009-0008-0865-1162","https://orcid.org/0009-0008-2810-1336","https://orcid.org/0009-0008-8957-388X","https://orcid.org/0009-0008-9255-3345","https://orcid.org/0009-0009-2254-6382","https://orcid.org/0009-0009-9334-1325"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Junsu Kim","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034277026","display_name":"Garrett Bingham","orcid":"https://orcid.org/0000-0002-2898-2582","observed_orcids":["https://orcid.org/0000-0002-2898-2582"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Garrett Bingham","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100348028","display_name":"Jonathan Lee","orcid":"https://orcid.org/0000-0002-1828-1707","observed_orcids":["https://orcid.org/0000-0002-1828-1707"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jonathan Lee","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063722751","display_name":"Swaroop Ranjan Mishra","orcid":"https://orcid.org/0009-0001-6413-7001","observed_orcids":["https://orcid.org/0009-0001-6413-7001"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Swaroop Mishra","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048899746","display_name":"Alex Zhai","orcid":"https://orcid.org/0000-0003-1695-7619","observed_orcids":["https://orcid.org/0000-0003-1695-7619"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alex Zhai","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070231479","display_name":"Huiyi Hu","orcid":"https://orcid.org/0000-0002-4398-5167","observed_orcids":["https://orcid.org/0000-0002-4398-5167"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huiyi Hu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016302450","display_name":"Henryk Michalewski","orcid":"https://orcid.org/0000-0001-8541-8112","observed_orcids":["https://orcid.org/0000-0001-8541-8112"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Henryk Michalewski","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100362177","display_name":"Jimin Kim","orcid":"https://orcid.org/0000-0003-2996-5554","observed_orcids":["https://orcid.org/0000-0003-2996-5554","https://orcid.org/0000-0003-1637-7753","https://orcid.org/0000-0003-4155-5144"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jimin Kim","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013335966","display_name":"\ufeffJae-Hyun Ahn","orcid":"https://orcid.org/0000-0002-2240-4562","observed_orcids":["https://orcid.org/0000-0002-2240-4562"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jeonghyun Ahn","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Junhwi Bae","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Junhwi Bae","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081034298","display_name":"Xingyou Song","orcid":"https://orcid.org/0000-0001-6055-3174","observed_orcids":["https://orcid.org/0000-0001-6055-3174"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xingyou Song","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016593310","display_name":"Trieu H. Trinh","orcid":"https://orcid.org/0000-0003-3597-6073","observed_orcids":["https://orcid.org/0000-0003-3597-6073"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Trieu Hoang Trinh","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088551093","display_name":"Quoc Viet Le","orcid":"https://orcid.org/0000-0002-1087-2844","observed_orcids":["https://orcid.org/0000-0002-1087-2844"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Quoc V Le","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5016842069","display_name":"Junehyuk Jung","orcid":"https://orcid.org/0000-0003-0778-4189","observed_orcids":["https://orcid.org/0000-0003-0778-4189"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Junehyuk Jung","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.7985,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.94353772,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"35406","last_page":"35430"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.2809999883174896,"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/T10028","display_name":"Topic Modeling","score":0.2809999883174896,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.16300000250339508,"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/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.1324000060558319,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematical-reasoning","display_name":"mathematical reasoning","score":0.9179999828338623},{"id":"https://openalex.org/keywords/robustness","display_name":"robustness","score":0.8399999737739563},{"id":"https://openalex.org/keywords/large-language-models","display_name":"large language models","score":0.5519999861717224},{"id":"https://openalex.org/keywords/mathematical-problem-solving","display_name":"mathematical problem solving","score":0.3440000116825104}],"concepts":[{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5310999751091003},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4966000020503998},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.4101000130176544},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.3840000033378601},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3377000093460083},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.31290000677108765},{"id":"https://openalex.org/C120936955","wikidata":"https://www.wikidata.org/wiki/Q2155640","display_name":"Empirical research","level":2,"score":0.2928999960422516},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.2903999984264374},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.27900001406669617},{"id":"https://openalex.org/C157170001","wikidata":"https://www.wikidata.org/wiki/Q4781507","display_name":"Applications of artificial intelligence","level":2,"score":0.2741999924182892},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.273499995470047}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18653/v1/2025.emnlp-main.1794","doi":"https://doi.org/10.18653/v1/2025.emnlp-main.1794","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2025.emnlp-main.1794","pdf_url":"https://aclanthology.org/2025.emnlp-main.1794.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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18653/v1/2025.emnlp-main.1794","doi":"https://doi.org/10.18653/v1/2025.emnlp-main.1794","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2025.emnlp-main.1794","pdf_url":"https://aclanthology.org/2025.emnlp-main.1794.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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4416035005.pdf","grobid_xml":"https://content.openalex.org/works/W4416035005.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4385572906","https://openalex.org/W4385565015","https://openalex.org/W4416034742","https://openalex.org/W4416036284","https://openalex.org/W4411638692","https://openalex.org/W4416034867","https://openalex.org/W4412889980","https://openalex.org/W4401042545","https://openalex.org/W2918798642","https://openalex.org/W7136091443"],"abstract_inverted_index":{"Thang":[0],"Luong,":[1],"Dawsen":[2],"Hwang,":[3],"Hoang":[4,36],"H":[5],"Nguyen,":[6],"Golnaz":[7],"Ghiasi,":[8],"Yuri":[9],"Chervonyi,":[10],"Insuk":[11],"Seo,":[12],"Junsu":[13],"Kim,":[14,28],"Garrett":[15],"Bingham,":[16],"Jonathan":[17],"Lee,":[18],"Swaroop":[19],"Mishra,":[20],"Alex":[21],"Zhai,":[22],"Huiyi":[23],"Hu,":[24],"Henryk":[25],"Michalewski,":[26],"Jimin":[27],"Jeonghyun":[29],"Ahn,":[30],"Junhwi":[31],"Bae,":[32],"Xingyou":[33],"Song,":[34],"Trieu":[35],"Trinh,":[37],"Quoc":[38],"V":[39],"Le,":[40],"Junehyuk":[41],"Jung.":[42],"Proceedings":[43],"of":[44],"the":[45],"2025":[46],"Conference":[47],"on":[48],"Empirical":[49],"Methods":[50],"in":[51],"Natural":[52],"Language":[53],"Processing.":[54],"2025.":[55]},"counts_by_year":[{"year":2026,"cited_by_count":4}],"updated_date":"2026-10-29T09:56:32.521200","created_date":"2025-11-08T00:00:00"}