{"id":"https://openalex.org/W4388685362","doi":"https://doi.org/10.48550/arxiv.2311.07172","title":"VerityMath: Advancing Mathematical Reasoning by Self-Verification Through Unit Consistency","display_name":"VerityMath: Advancing Mathematical Reasoning by Self-Verification Through Unit Consistency","publication_year":2023,"publication_date":"2023-11-13","ids":{"openalex":"https://openalex.org/W4388685362","doi":"https://doi.org/10.48550/arxiv.2311.07172"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2311.07172","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2311.07172","pdf_url":"https://arxiv.org/pdf/2311.07172","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2311.07172","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5114099831","display_name":"Vernon Toh","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Han, Vernon Toh Yan","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069271622","display_name":"Ratish Puduppully","orcid":"https://orcid.org/0009-0001-0857-2842"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Puduppully, Ratish","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5014190404","display_name":"Nancy F. Chen","orcid":"https://orcid.org/0000-0003-0872-5877"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Nancy F.","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5114099831"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.9908999800682068,"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.9908999800682068,"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.989799976348877,"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/T12535","display_name":"Machine Learning and Data Classification","score":0.9588000178337097,"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/consistency","display_name":"Consistency (knowledge bases)","score":0.823667585849762},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6318949460983276},{"id":"https://openalex.org/keywords/unit","display_name":"Unit (ring theory)","score":0.5820422172546387},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5181078314781189},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.4558519124984741},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3796168863773346},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.322551429271698},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2038099765777588},{"id":"https://openalex.org/keywords/mathematics-education","display_name":"Mathematics education","score":0.15848088264465332}],"concepts":[{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.823667585849762},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6318949460983276},{"id":"https://openalex.org/C122637931","wikidata":"https://www.wikidata.org/wiki/Q118084","display_name":"Unit (ring theory)","level":2,"score":0.5820422172546387},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5181078314781189},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.4558519124984741},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3796168863773346},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.322551429271698},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2038099765777588},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.15848088264465332},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2311.07172","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2311.07172","pdf_url":"https://arxiv.org/pdf/2311.07172","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"doi:10.48550/arxiv.2311.07172","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2311.07172","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2311.07172","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2311.07172","pdf_url":"https://arxiv.org/pdf/2311.07172","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.7799999713897705}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4388685362.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W611386996","https://openalex.org/W2371343292","https://openalex.org/W1603736412","https://openalex.org/W629290331","https://openalex.org/W4304185162","https://openalex.org/W617685022","https://openalex.org/W2061685118","https://openalex.org/W3006282800","https://openalex.org/W2462100143","https://openalex.org/W1509983653"],"abstract_inverted_index":{"Large":[0],"Language":[1],"Models":[2],"(LLMs),":[3],"combined":[4],"with":[5,156,177],"program-based":[6,80],"solving":[7,30,81],"techniques,":[8],"are":[9,51,225],"increasingly":[10],"demonstrating":[11],"proficiency":[12],"in":[13,29,36],"mathematical":[14,139],"reasoning.":[15],"For":[16],"example,":[17],"closed-source":[18],"models":[19,49,90,176],"such":[20],"as":[21],"OpenAI":[22],"GPT-4":[23],"and":[24,45,72,97,131,161,173,215,223],"Claude":[25],"show":[26],"excellent":[27],"results":[28],"math":[31,37,76,94,151],"word":[32,38,77,95,152],"problems.":[33],"However,":[34],"progress":[35],"problem-solving":[39],"for":[40,128,218],"open-source":[41,63],"LLMs":[42],"is":[43],"limited,":[44],"the":[46,59,86,126,133,205],"challenges":[47],"these":[48,89,136],"face":[50],"not":[52],"well-studied.":[53],"In":[54],"this":[55,117],"paper,":[56],"we":[57,84,119,209],"study":[58],"performance":[60],"of":[61,88,101,135,150],"strong":[62],"LLMs,":[64],"including":[65],"Llama":[66,70,167,171],"2":[67,168],"(7B),":[68,71,169,172],"Code":[69,170],"Mistral":[73,174],"(7B)":[74,175],"on":[75],"problems":[78,96,102],"using":[79],"techniques.":[82],"Specifically,":[83],"analyze":[85],"outputs":[87],"when":[91],"applied":[92],"to":[93,179,197],"identify":[98],"a":[99,105,121],"category":[100],"that":[103,186,200],"pose":[104],"significant":[106],"challenge,":[107],"particularly":[108],"those":[109],"involving":[110],"quantities":[111],"spanning":[112],"multiple":[113],"units.":[114],"To":[115,203],"address":[116],"issue,":[118],"propose":[120],"systematic":[122],"approach":[123,199],"by":[124],"defining":[125],"units":[127,137],"each":[129,154],"quantity":[130],"ensuring":[132],"consistency":[134],"during":[138],"operations.":[140],"We":[141,165],"developed":[142],"Unit":[143],"Consistency":[144],"Programs":[145],"(UCPs),":[146],"an":[147,198,211],"annotated":[148],"dataset":[149,224],"problems,":[153],"paired":[155],"programs":[157],"containing":[158],"unit":[159,162,191],"specifications":[160],"verification":[163],"routines.":[164],"fine-tuned":[166],"UCPs":[178],"produce":[180],"theirVerityMath":[181],"variants.":[182],"Our":[183,221],"findings":[184],"indicate":[185],"our":[187],"approach,":[188],"which":[189],"incorporates":[190],"consistency,":[192],"currently":[193],"slightly":[194],"underperforms":[195],"compared":[196],"does":[201],"not.":[202],"understand":[204],"reasons":[206],"behind":[207],"this,":[208],"conduct":[210],"in-depth":[212],"error":[213],"analysis":[214],"suggest":[216],"options":[217],"future":[219],"improvements.":[220],"code":[222],"available":[226],"at":[227],"https://github.com/vernontoh/VerityMath.":[228]},"counts_by_year":[],"updated_date":"2026-03-11T14:59:36.786465","created_date":"2023-11-15T00:00:00"}