{"id":"https://openalex.org/W7119077834","doi":"https://doi.org/10.48550/arxiv.2601.01982","title":"ChaosBench-Logic: A Benchmark for Logical and Symbolic Reasoning on Chaotic Dynamical Systems","display_name":"ChaosBench-Logic: A Benchmark for Logical and Symbolic Reasoning on Chaotic Dynamical Systems","publication_year":2026,"publication_date":"2026-01-05","ids":{"openalex":"https://openalex.org/W7119077834","doi":"https://doi.org/10.48550/arxiv.2601.01982"},"language":null,"primary_location":{"id":"pmh:doi:10.48550/arxiv.2601.01982","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"publisher-specific-oa","license_id":"https://openalex.org/licenses/publisher-specific-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5122286711","display_name":"Noel Thomas","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Thomas, Noel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5122286711"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04358967,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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.5523999929428101,"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.5523999929428101,"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.14169999957084656,"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"}},{"id":"https://openalex.org/T13629","display_name":"Text Readability and Simplification","score":0.03099999949336052,"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/counterfactual-thinking","display_name":"Counterfactual thinking","score":0.6601999998092651},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6413999795913696},{"id":"https://openalex.org/keywords/randomness","display_name":"Randomness","score":0.5490000247955322},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.5110999941825867},{"id":"https://openalex.org/keywords/chaotic","display_name":"Chaotic","score":0.45249998569488525},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.38519999384880066},{"id":"https://openalex.org/keywords/testbed","display_name":"Testbed","score":0.36899998784065247},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.36809998750686646},{"id":"https://openalex.org/keywords/reasoning-system","display_name":"Reasoning system","score":0.33480000495910645}],"concepts":[{"id":"https://openalex.org/C108650721","wikidata":"https://www.wikidata.org/wiki/Q1783253","display_name":"Counterfactual thinking","level":2,"score":0.6601999998092651},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6413999795913696},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6230000257492065},{"id":"https://openalex.org/C125112378","wikidata":"https://www.wikidata.org/wiki/Q176640","display_name":"Randomness","level":2,"score":0.5490000247955322},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.5110999941825867},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4740000069141388},{"id":"https://openalex.org/C2777052490","wikidata":"https://www.wikidata.org/wiki/Q5072826","display_name":"Chaotic","level":2,"score":0.45249998569488525},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3968000113964081},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.38519999384880066},{"id":"https://openalex.org/C31395832","wikidata":"https://www.wikidata.org/wiki/Q1318674","display_name":"Testbed","level":2,"score":0.36899998784065247},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.36809998750686646},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.33480000495910645},{"id":"https://openalex.org/C118979974","wikidata":"https://www.wikidata.org/wiki/Q187536","display_name":"Butterfly effect","level":3,"score":0.33390000462532043},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.31700000166893005},{"id":"https://openalex.org/C43971567","wikidata":"https://www.wikidata.org/wiki/Q3142865","display_name":"Logical reasoning","level":2,"score":0.3050999939441681},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.3034999966621399},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.29499998688697815},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.28999999165534973},{"id":"https://openalex.org/C33962884","wikidata":"https://www.wikidata.org/wiki/Q378637","display_name":"Dynamical system (definition)","level":3,"score":0.28700000047683716},{"id":"https://openalex.org/C2777508537","wikidata":"https://www.wikidata.org/wiki/Q7936620","display_name":"Visual reasoning","level":2,"score":0.2775999903678894},{"id":"https://openalex.org/C16101541","wikidata":"https://www.wikidata.org/wiki/Q1350838","display_name":"Symbolic dynamics","level":2,"score":0.26350000500679016},{"id":"https://openalex.org/C2779439875","wikidata":"https://www.wikidata.org/wiki/Q1078276","display_name":"Natural language understanding","level":3,"score":0.2612999975681305},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.2572000026702881},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.2551000118255615}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.48550/arxiv.2601.01982","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"publisher-specific-oa","license_id":"https://openalex.org/licenses/publisher-specific-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"doi:10.48550/arxiv.2601.01982","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2601.01982","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":"Preprint"}],"best_oa_location":{"id":"pmh:doi:10.48550/arxiv.2601.01982","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"publisher-specific-oa","license_id":"https://openalex.org/licenses/publisher-specific-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"language":[1,7],"models":[2],"(LLMs)":[3],"excel":[4],"at":[5],"natural":[6],"tasks":[8],"but":[9],"remain":[10],"brittle":[11],"in":[12,178],"domains":[13],"requiring":[14],"precise":[15],"logical":[16,96],"and":[17,71,89,102,104,126,142,167],"symbolic":[18],"reasoning.":[19],"Chaotic":[20],"dynamical":[21,51],"systems":[22,52],"provide":[23],"an":[24,107],"especially":[25],"demanding":[26],"test":[27],"because":[28],"chaos":[29],"is":[30,62],"deterministic":[31],"yet":[32,135],"often":[33],"misinterpreted":[34],"as":[35,118],"randomness":[36],"or":[37],"complexity.":[38],"We":[39,92],"introduce":[40],"ChaosBench-Logic,":[41],"a":[42,54,160,168],"benchmark":[43],"that":[44,114,174],"evaluates":[45],"LLM":[46],"reasoning":[47,78,177],"across":[48,76],"30":[49],"diverse":[50],"using":[53],"unified":[55],"first-order":[56],"logic":[57],"(FOL)":[58],"ontology.":[59],"Each":[60],"system":[61],"annotated":[63],"with":[64],"truth":[65],"assignments":[66],"for":[67,95,163,170],"11":[68],"semantic":[69],"predicates,":[70],"621":[72],"questions":[73],"are":[74],"generated":[75],"seven":[77],"categories,":[79],"including":[80],"multi-hop":[81],"implications,":[82],"cross-system":[83],"analogies,":[84],"counterfactual":[85],"reasoning,":[86],"bias":[87],"probes,":[88],"multi-turn":[90],"dialogues.":[91],"define":[93],"metrics":[94],"accuracy,":[97,134],"implication":[98],"consistency,":[99],"dialogue":[100],"coherence,":[101],"contradiction,":[103],"we":[105],"release":[106],"open-source":[108,128],"evaluation":[109],"pipeline.":[110],"Initial":[111],"experiments":[112],"show":[113],"frontier":[115],"LLMs":[116],"such":[117,165],"GPT-4,":[119],"Claude":[120],"3.5":[121],"Sonnet,":[122],"Gemini":[123],"2.5":[124],"Flash,":[125],"the":[127],"LLaMA-3":[129],"70B":[130],"achieve":[131],"91-94%":[132],"per-item":[133],"still":[136],"score":[137],"0%":[138],"on":[139],"compositional":[140],"items":[141],"exhibit":[143],"fragile":[144],"global":[145],"coherence.":[146],"Dialogue-level":[147],"accuracy":[148],"ranges":[149],"from":[150],"53.1%":[151],"(GPT-4":[152],"CoT)":[153],"to":[154],"75.5%":[155],"(LLaMA-3":[156],"zero-shot).":[157],"ChaosBench-Logic":[158],"provides":[159],"rigorous":[161],"testbed":[162],"diagnosing":[164],"failures":[166],"foundation":[169],"developing":[171],"neuro-symbolic":[172],"approaches":[173],"improve":[175],"scientific":[176],"LLMs.":[179]},"counts_by_year":[],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2026-01-08T00:00:00"}