{"id":"https://openalex.org/W7166830674","doi":"https://doi.org/10.18653/v1/2026.semeval-1.17","title":"Lakksh at SemEval-2026 Task 11(1 2): Neuro-Symbolic Decomposition to Mitigate Content Bias in Syllogistic Reasoning","display_name":"Lakksh at SemEval-2026 Task 11(1 2): Neuro-Symbolic Decomposition to Mitigate Content Bias in Syllogistic Reasoning","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7166830674","doi":"https://doi.org/10.18653/v1/2026.semeval-1.17"},"language":"en","primary_location":{"id":"doi:10.18653/v1/2026.semeval-1.17","doi":"https://doi.org/10.18653/v1/2026.semeval-1.17","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.semeval-1.17","pdf_url":"https://aclanthology.org/2026.semeval-1.17.pdf","source":{"id":"https://openalex.org/S4363608670","display_name":"International Workshop on Semantic Evaluation (SemEval)","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 20th International Workshop on Semantic Evaluation (2026)","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/2026.semeval-1.17.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5128299634","display_name":"Lakksh Sharma","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I162030827","display_name":"Thapar Institute of Engineering & Technology","ror":"https://ror.org/00wdq3744","country_code":"IN","type":"education","lineage":["https://openalex.org/I162030827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Lakksh Sharma","raw_affiliation_strings":["Thapar University , Patiala , India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Thapar University , Patiala , India","institution_ids":["https://openalex.org/I162030827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078456110","display_name":"Krish Sharma","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I162030827","display_name":"Thapar Institute of Engineering & Technology","ror":"https://ror.org/00wdq3744","country_code":"IN","type":"education","lineage":["https://openalex.org/I162030827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Krish Sharma","raw_affiliation_strings":["Thapar University , Patiala , India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Thapar University , Patiala , India","institution_ids":["https://openalex.org/I162030827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071302879","display_name":"Jatin Bedi","orcid":"https://orcid.org/0000-0002-9444-6200","observed_orcids":["https://orcid.org/0000-0002-9444-6200"]},"institutions":[{"id":"https://openalex.org/I162030827","display_name":"Thapar Institute of Engineering & Technology","ror":"https://ror.org/00wdq3744","country_code":"IN","type":"education","lineage":["https://openalex.org/I162030827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Jatin Bedi","raw_affiliation_strings":["Thapar University , Patiala , India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Thapar University , Patiala , India","institution_ids":["https://openalex.org/I162030827"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I162030827"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.45414564,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"115","last_page":"120"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.7860999703407288,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.7860999703407288,"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.07900000363588333,"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.050999999046325684,"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/syllogistic-reasoning","display_name":"syllogistic reasoning","score":0.9810000061988831},{"id":"https://openalex.org/keywords/content-bias","display_name":"content bias","score":0.9229999780654907},{"id":"https://openalex.org/keywords/neuro-symbolic-ai","display_name":"neuro-symbolic AI","score":0.7889999747276306},{"id":"https://openalex.org/keywords/semantic-plausibility","display_name":"semantic plausibility","score":0.8460000157356262},{"id":"https://openalex.org/keywords/large-language-models","display_name":"large language models","score":0.5580000281333923}],"concepts":[{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6123999953269958},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5475000143051147},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.5278000235557556},{"id":"https://openalex.org/C131598440","wikidata":"https://www.wikidata.org/wiki/Q107342","display_name":"Syllogism","level":2,"score":0.5149999856948853},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4950000047683716},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3384000062942505},{"id":"https://openalex.org/C2778152352","wikidata":"https://www.wikidata.org/wiki/Q5165061","display_name":"Content (measure theory)","level":2,"score":0.33390000462532043},{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.3199999928474426},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.2847000062465668},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2734000086784363},{"id":"https://openalex.org/C26760741","wikidata":"https://www.wikidata.org/wiki/Q160402","display_name":"Perception","level":2,"score":0.26440000534057617},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2590000033378601},{"id":"https://openalex.org/C180747234","wikidata":"https://www.wikidata.org/wiki/Q23373","display_name":"Cognitive psychology","level":1,"score":0.2590000033378601},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2513999938964844}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18653/v1/2026.semeval-1.17","doi":"https://doi.org/10.18653/v1/2026.semeval-1.17","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.semeval-1.17","pdf_url":"https://aclanthology.org/2026.semeval-1.17.pdf","source":{"id":"https://openalex.org/S4363608670","display_name":"International Workshop on Semantic Evaluation (SemEval)","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 20th International Workshop on Semantic Evaluation (2026)","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18653/v1/2026.semeval-1.17","doi":"https://doi.org/10.18653/v1/2026.semeval-1.17","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.semeval-1.17","pdf_url":"https://aclanthology.org/2026.semeval-1.17.pdf","source":{"id":"https://openalex.org/S4363608670","display_name":"International Workshop on Semantic Evaluation (SemEval)","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 20th International Workshop on Semantic Evaluation (2026)","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/W7166830674.pdf","grobid_xml":"https://content.openalex.org/works/W7166830674.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7166851507","https://openalex.org/W7166815544","https://openalex.org/W7166800985","https://openalex.org/W7166840160","https://openalex.org/W7166841079","https://openalex.org/W7166827794","https://openalex.org/W7166889885","https://openalex.org/W7166808590","https://openalex.org/W7166836350","https://openalex.org/W7166857773"],"abstract_inverted_index":{"Syllogistic":[0],"reasoning":[1],"is":[2,27,61,70,82,91],"the":[3,24,79,85,110,116,129],"ability":[4],"to":[5,18,31,156],"distinguish":[6],"logical":[7,101],"validity":[8,66,114],"from":[9,64],"semantic":[10,106],"plausibility":[11],"-a":[12],"setting":[13],"in":[14,84,128,158],"which":[15],"LLMs":[16],"succumb":[17],"frequent":[19],"content":[20,107,153],"bias":[21,154],"by":[22,56,93],"conflating":[23],"two.The":[25],"result":[26],"a":[28,49,94,122,166],"characteristic":[29],"failure":[30],"recognize":[32],"logically":[33,41],"valid":[34],"arguments":[35],"with":[36,121,136],"highly":[37],"implausible":[38],"conclusions":[39],"and":[40],"invalid":[42],"but":[43],"semantically":[44],"plausible":[45],"arguments.This":[46],"paper":[47],"introduces":[48],"neuro-symbolic":[50],"system":[51,117],"that":[52,78,105,144],"avoids":[53],"this":[54],"behavior":[55],"design:":[57],"neural":[58],"structure":[59],"extraction":[60],"strictly":[62],"separated":[63],"symbolic":[65,96],"checking.A":[67],"T5-Small":[68],"parser":[69],"trained":[71],"only":[72],"on":[73,99,139],"synthetic":[74],"nonsense-symbol":[75],"syllogisms,":[76],"ensuring":[77,104],"structural":[80],"parse":[81],"learned":[83],"absence":[86],"of":[87,126],"real-world":[88],"semantics.Validity":[89],"checking":[90],"performed":[92],"deterministic":[95],"kernel":[97],"operating":[98],"extracted":[100],"form":[102],"alone,":[103],"cannot":[108],"influence":[109],"final":[111],"call.In":[112],"binary":[113],"classification,":[115],"achieves":[118,133],"97.38%":[119],"accuracy":[120,135],"Total":[123],"Content":[124],"Effect":[125],"3.10;":[127],"retrieval":[130],"setting,":[131],"it":[132],"82.11%":[134],"99.47%":[137],"F1":[138],"premise":[140],"identification.Ablation":[141],"experiments":[142],"show":[143],"formal":[145],"theorem":[146],"proving":[147],"via":[148],"NL-to-Z3":[149],"translation":[150],"actually":[151],"increases":[152],"due":[155],"leakage":[157],"intermediate":[159],"representations.The":[160],"results":[161],"recommend":[162],"architectural":[163],"separation":[164],"as":[165],"promising":[167],"contentrobustness":[168],"strategy":[169],"for":[170],"syllogistic":[171],"reasoning.1":[172]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-07-02T00:00:00"}
