{"id":"https://openalex.org/W7169606801","doi":"https://doi.org/10.48550/arxiv.2607.14735","title":"CoTu at EXACT 2026: Neuro-Symbolic Reasoning for Transparent Educational QA","display_name":"CoTu at EXACT 2026: Neuro-Symbolic Reasoning for Transparent Educational QA","publication_year":2026,"publication_date":"2026-07-16","ids":{"openalex":"https://openalex.org/W7169606801","doi":"https://doi.org/10.48550/arxiv.2607.14735"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.14735","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.14735","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2607.14735","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5114094720","display_name":"Quoc-Khang Tran","orcid":"https://orcid.org/0009-0000-2715-7647"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tran, Quoc-Khang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103912178","display_name":"Minh Hieu Nguyen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nguyen, Minh-Thien","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114558613","display_name":"Phu-An Thai","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thai, Phu-An","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5141061969","display_name":"Xuan-Tung Bui","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bui, Xuan-Tung","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051991903","display_name":"Truong-Thanh Ma","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ma, Truong-Thanh","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5113776210","display_name":"Nguyen-Khang Pham","orcid":"https://orcid.org/0009-0005-6761-1636"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pham, Nguyen-Khang","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":null,"has_fulltext":false,"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.5307000279426575,"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.5307000279426575,"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/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.12780000269412994,"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.09030000120401382,"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/task","display_name":"Task (project management)","score":0.588699996471405},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.5458999872207642},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.5339000225067139},{"id":"https://openalex.org/keywords/question-answering","display_name":"Question answering","score":0.51419997215271},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.5090000033378601},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.4343000054359436},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.4205999970436096},{"id":"https://openalex.org/keywords/ambiguity","display_name":"Ambiguity","score":0.41690000891685486},{"id":"https://openalex.org/keywords/premise","display_name":"Premise","score":0.38760000467300415},{"id":"https://openalex.org/keywords/conjunction","display_name":"Conjunction (astronomy)","score":0.3666999936103821}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6438999772071838},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.588699996471405},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.5458999872207642},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.5339000225067139},{"id":"https://openalex.org/C44291984","wikidata":"https://www.wikidata.org/wiki/Q1074173","display_name":"Question answering","level":2,"score":0.51419997215271},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.5090000033378601},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.4343000054359436},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4205999970436096},{"id":"https://openalex.org/C2780522230","wikidata":"https://www.wikidata.org/wiki/Q1140419","display_name":"Ambiguity","level":2,"score":0.41690000891685486},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3887999951839447},{"id":"https://openalex.org/C2778023277","wikidata":"https://www.wikidata.org/wiki/Q321703","display_name":"Premise","level":2,"score":0.38760000467300415},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3734000027179718},{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.3666999936103821},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.3666999936103821},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.36250001192092896},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.3562999963760376},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.35510000586509705},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.353300005197525},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.3409000039100647},{"id":"https://openalex.org/C3019612716","wikidata":"https://www.wikidata.org/wiki/Q730920","display_name":"Problem solver","level":2,"score":0.33500000834465027},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.33219999074935913},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.3278000056743622},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.32519999146461487},{"id":"https://openalex.org/C2777601897","wikidata":"https://www.wikidata.org/wiki/Q3409113","display_name":"Presentation (obstetrics)","level":2,"score":0.3230000138282776},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.321399986743927},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.3176000118255615},{"id":"https://openalex.org/C207609745","wikidata":"https://www.wikidata.org/wiki/Q4944086","display_name":"Bootstrapping (finance)","level":2,"score":0.30889999866485596},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.29809999465942383},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.29589998722076416},{"id":"https://openalex.org/C140843580","wikidata":"https://www.wikidata.org/wiki/Q840067","display_name":"Defeasible reasoning","level":2,"score":0.29339998960494995},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.29260000586509705},{"id":"https://openalex.org/C36964233","wikidata":"https://www.wikidata.org/wiki/Q7920942","display_name":"Verbal reasoning","level":3,"score":0.28780001401901245},{"id":"https://openalex.org/C103057564","wikidata":"https://www.wikidata.org/wiki/Q4751139","display_name":"Analytic reasoning","level":3,"score":0.2824999988079071},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.2630000114440918},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.26190000772476196},{"id":"https://openalex.org/C2777601683","wikidata":"https://www.wikidata.org/wiki/Q6499736","display_name":"Vocabulary","level":2,"score":0.25619998574256897},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.25540000200271606},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.25429999828338623}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.14735","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.14735","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2607.14735","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.14735","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"display_name":"Quality Education","score":0.7876124978065491,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Transparent":[0],"educational":[1],"question":[2],"answering":[3],"asks":[4],"for":[5,51,97,112],"answers":[6,202],"that":[7,72],"are":[8],"not":[9],"only":[10],"correct":[11],"but":[12],"explainable,":[13],"and":[14,63,111,125,135,169,215],"doing":[15],"so":[16],"with":[17,47,142,185,190],"small":[18],"models":[19,40],"rules":[20],"out":[21],"the":[22,26,70,109,147,150,161,171,191,212,216,225],"reasoning":[23,59,187],"power":[24],"of":[25,41,176],"largest":[27],"proprietary":[28],"systems.":[29],"The":[30,154],"EXACT":[31],"2026":[32],"competition":[33],"poses":[34],"this":[35],"problem":[36,66],"concretely:":[37],"open-weight":[38],"language":[39],"at":[42,211],"most":[43],"8B":[44],"parameters,":[45],"self-hosted,":[46],"a":[48,79,85,89,102,121,126,136,157,204],"natural-language":[49],"explanation":[50],"every":[52],"answer.":[53],"It":[54],"pairs":[55],"two":[56],"tasks:":[57],"logical":[58],"over":[60],"university":[61],"regulations,":[62],"multi-step":[64],"physics":[65,113,162],"solving.":[67],"We":[68],"describe":[69],"system":[71,148,155],"team":[73,178],"\\cotu{}":[74,197],"developed":[75],"to":[76],"address":[77],"both,":[78],"neuro-symbolic":[80],"Program-of-Thought":[81],"pipeline":[82],"in":[83,120,164,203,220],"which":[84],"4B":[86,213],"backbone":[87],"writes":[88],"program":[90],"rather":[91,223],"than":[92,224],"stating":[93],"an":[94],"answer":[95,183],"directly:":[96],"regulation":[98],"queries":[99],"it":[100,114],"emits":[101,115],"Z3":[103],"encoding":[104],"whose":[105],"entailment":[106],"verdict":[107],"grounds":[108],"deduction,":[110],"numerical":[116],"Python,":[117],"both":[118,165],"wrapped":[119],"shared":[122],"self-correction":[123],"loop":[124],"unified":[127],"explained-JSON":[128],"output.":[129],"Answer-type":[130],"routing,":[131],"distillation-based":[132],"task":[133,163],"fine-tuning,":[134],"latency-aware":[137],"serving":[138],"stack":[139],"--":[140,145,179,189],"SGLang":[141],"speculative":[143],"decoding":[144],"keep":[146],"within":[149],"60-second":[151],"per-query":[152],"limit.":[153],"achieved":[156],"\\textbf{perfect":[158],"score}":[159,175],"on":[160],"automated":[166,182],"selection":[167,222],"rounds":[168],"obtained":[170],"\\textbf{highest":[172],"final-round":[173],"technical":[174],"any":[177],"$13.44/15$,":[180],"combining":[181],"evaluation":[184],"expert-judged":[186],"depth":[188],"equally":[192],"weighted":[193],"presentation":[194],"score":[195],"included,":[196],"placed":[198],"3rd":[199],"overall.":[200],"Grounding":[201],"symbolic":[205],"solver":[206],"yields":[207],"correct,":[208],"verifiable":[209],"deductions":[210],"scale,":[214],"residual":[217],"difficulty":[218],"lies":[219],"premise":[221],"deduction":[226],"itself.":[227]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-18T00:00:00"}