{"about":{"non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","site":"https://codewithpapers.app","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page","syntology":{"site":"https://syntology.ai","developers":"https://syntology.ai/developers","mcp":{"server":"https://syntology.ai/mcp","transport":"streamable-http","server_card":"https://syntology.ai/.well-known/mcp/server-card.json","auth":{"type":"trial token, no account","trial_token":"https://syntology.ai/api/oauth/trial/token","method":"POST","docs":"https://syntology.ai/developers"}},"have":"https://syntology.ai/api/graph/have?x=<method, arXiv id or title> (free, answers coverage only)","paper_base":"https://syntology.ai/paper/","atlas_base":"https://app.syntology.ai/?focus="},"machine_readable":[{"url":"https://codewithpapers.app/llms.txt","what":"the machine catalog: every machine-readable file, counted"},{"url":"https://codewithpapers.app/index/manifest.json","what":"paper-to-code index by arXiv id, with Syntology's counts"},{"url":"https://codewithpapers.app/search/manifest.json","what":"site search index (titles, authors) and its files"},{"url":"https://codewithpapers.app/download","what":"bulk files: Syntology's layer, described there"},{"url":"https://codewithpapers.app/build_manifest.json","what":"the build record: inputs, counts, exclusions, probes"}]},"url":"/task/logical-reasoning/papers/6","list_of":"/task/logical-reasoning","task":"Logical Reasoning","archive":{"snapshot":"2025-07-28"},"key_notes":{"n_ran_checked":"legacy name, kept unchanged so existing readers do not break: it counts the samples that ran with no instrument failure (honoured, violated, and ran with no contract checked); it does not mean a contract was checked, and the pages print it as 'K with no instrument failure', not 'K checked'","n_constructed":"a sub-count of the samples that ran, never subtracted from them and never a failure: an executed sample whose run returned an instance of its own class (fixture_out_type equals the entry name): the run built an object and did not compute a result (Syntology's RAN record, counts.constructed)"},"syntology_read_at":"2026-09-28T10:30:06+00:00","order":"archive","order_definition":"repositories listed in the archive (most first), then date (newest first), then slug","page":6,"pages_in_order":8,"rows_per_page":100,"rows":[501,600],"of":747,"counts":{"archive_papers_tagged":747,"with_a_code_link":330,"where_syntology_ran_a_sample":113,"not_listed_spam_title":0,"listed":747,"listed_where_code_ran":113,"where_syntology_ran_a_sample_split":{"with_a_run_with_no_instrument_failure":96,"every_run_a_failure_of_syntologys_instrument":17,"listed_with_a_run_with_no_instrument_failure":96,"listed_every_run_a_failure_of_syntologys_instrument":17,"filter":{"states":["a run with no instrument failure","any run, instrument failures included"],"default":"a run with no instrument failure","note":"on the 'only where code ran' pages the default hides, in the browser, the rows where every run was a failure of Syntology's instrument; the second state shows them again. Rows are hidden, never re-ordered; these twins list every row"}},"definition":"distinct papers the archive tags; 'where Syntology ran a sample' counts papers with at least one harvested sample that ran, which is not a correctness claim"},"first_page":"/task/logical-reasoning","prev":"/task/logical-reasoning/papers/5","next":"/task/logical-reasoning/papers/7","papers":[{"url":null,"slug":"logic-distillation-learning-from-code","title":"Logic Distillation: Learning from Code Function by Function for Planning and Decision-making","date":"2024-07-28","arxiv_id":"2407.19405","repositories_listed":0,"syntology":null},{"url":null,"slug":"an-empirical-study-of-retrieval-augmented","title":"An Empirical Study of Retrieval Augmented Generation with Chain-of-Thought","date":"2024-07-22","arxiv_id":"2407.15569","repositories_listed":0,"syntology":null},{"url":null,"slug":"an-explainable-fast-deep-neural-network-for","title":"An Explainable Fast Deep Neural Network for Emotion Recognition","date":"2024-07-20","arxiv_id":"2407.14865","repositories_listed":0,"syntology":null},{"url":null,"slug":"analyzing-large-language-models-chatbots-an","title":"Analyzing Large language models chatbots: An experimental approach using a probability test","date":"2024-07-10","arxiv_id":"2407.12862","repositories_listed":0,"syntology":null},{"url":null,"slug":"why-should-we-ever-automate-moral-decision","title":"Why should we ever automate moral decision making?","date":"2024-07-10","arxiv_id":"2407.07671","repositories_listed":0,"syntology":null},{"url":null,"slug":"are-large-language-models-strategic-decision","title":"Are Large Language Models Strategic Decision Makers? A Study of Performance and Bias in Two-Player Non-Zero-Sum Games","date":"2024-07-05","arxiv_id":"2407.04467","repositories_listed":0,"syntology":null},{"url":null,"slug":"unveiling-scoring-processes-dissecting-the","title":"Unveiling Scoring Processes: Dissecting the Differences between LLMs and Human Graders in Automatic Scoring","date":"2024-07-04","arxiv_id":"2407.18328","repositories_listed":0,"syntology":null},{"url":null,"slug":"flowvqa-mapping-multimodal-logic-in-visual","title":"FlowVQA: Mapping Multimodal Logic in Visual Question Answering with Flowcharts","date":"2024-06-27","arxiv_id":"2406.19237","repositories_listed":0,"syntology":null},{"url":null,"slug":"categorical-syllogisms-revisited-a-review-of","title":"Categorical Syllogisms Revisited: A Review of the Logical Reasoning Abilities of LLMs for Analyzing Categorical Syllogism","date":"2024-06-26","arxiv_id":"2406.18762","repositories_listed":0,"syntology":null},{"url":null,"slug":"llm-arc-enhancing-llms-with-an-automated","title":"LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic","date":"2024-06-25","arxiv_id":"2406.17663","repositories_listed":0,"syntology":null},{"url":null,"slug":"imperative-learning-a-self-supervised-neural","title":"Imperative Learning: A Self-supervised Neuro-Symbolic Learning Framework for Robot Autonomy","date":"2024-06-23","arxiv_id":"2406.16087","repositories_listed":0,"syntology":null},{"url":null,"slug":"logicbreaks-a-framework-for-understanding","title":"Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference","date":"2024-06-21","arxiv_id":"2407.00075","repositories_listed":0,"syntology":null},{"url":null,"slug":"pathformer-recursive-path-query-encoding-for","title":"Pathformer: Recursive Path Query Encoding for Complex Logical Query Answering","date":"2024-06-21","arxiv_id":"2406.14880","repositories_listed":0,"syntology":null},{"url":null,"slug":"the-neural-correlates-of-logical-mathematical","title":"The neural correlates of logical-mathematical symbol systems processing resemble that of spatial cognition more than natural language processing","date":"2024-06-20","arxiv_id":"2406.14358","repositories_listed":0,"syntology":null},{"url":null,"slug":"program-synthesis-benchmark-for-visual","title":"Program Synthesis Benchmark for Visual Programming in XLogoOnline Environment","date":"2024-06-17","arxiv_id":"2406.11334","repositories_listed":0,"syntology":null},{"url":null,"slug":"city-leo-toward-transparent-city-management","title":"City-LEO: Toward Transparent City Management Using LLM with End-to-End Optimization","date":"2024-06-16","arxiv_id":"2406.10958","repositories_listed":0,"syntology":null},{"url":null,"slug":"lgr2-language-guided-reward-relabeling-for","title":"LGR2: Language Guided Reward Relabeling for Accelerating Hierarchical Reinforcement Learning","date":"2024-06-09","arxiv_id":"2406.05881","repositories_listed":0,"syntology":null},{"url":null,"slug":"investigating-and-addressing-hallucinations","title":"Investigating and Addressing Hallucinations of LLMs in Tasks Involving Negation","date":"2024-06-08","arxiv_id":"2406.05494","repositories_listed":0,"syntology":null},{"url":null,"slug":"bi-chainer-automated-large-language-models","title":"Bi-Chainer: Automated Large Language Models Reasoning with Bidirectional Chaining","date":"2024-06-05","arxiv_id":"2406.06586","repositories_listed":0,"syntology":null},{"url":null,"slug":"how-truncating-weights-improves-reasoning-in","title":"How Truncating Weights Improves Reasoning in Language Models","date":"2024-06-05","arxiv_id":"2406.03068","repositories_listed":0,"syntology":null},{"url":null,"slug":"disentangling-logic-the-role-of-context-in","title":"Disentangling Logic: The Role of Context in Large Language Model Reasoning Capabilities","date":"2024-06-04","arxiv_id":"2406.02787","repositories_listed":0,"syntology":null},{"url":null,"slug":"explicitly-encoding-structural-symmetry-is","title":"Explicitly Encoding Structural Symmetry is Key to Length Generalization in Arithmetic Tasks","date":"2024-06-04","arxiv_id":"2406.01895","repositories_listed":0,"syntology":null},{"url":null,"slug":"a-synergistic-approach-in-network-intrusion","title":"A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI","date":"2024-06-03","arxiv_id":"2406.00938","repositories_listed":0,"syntology":null},{"url":null,"slug":"logical-reasoning-with-relation-network-for","title":"Logical Reasoning with Relation Network for Inductive Knowledge Graph Completion","date":"2024-06-03","arxiv_id":"2406.01140","repositories_listed":0,"syntology":null},{"url":null,"slug":"brainstorming-brings-power-to-large-language","title":"Brainstorming Brings Power to Large Language Models of Knowledge Reasoning","date":"2024-06-02","arxiv_id":"2406.06561","repositories_listed":0,"syntology":null},{"url":null,"slug":"pathreasoner-modeling-reasoning-path-with","title":"PathReasoner: Modeling Reasoning Path with Equivalent Extension for Logical Question Answering","date":"2024-05-29","arxiv_id":"2405.19109","repositories_listed":0,"syntology":null},{"url":null,"slug":"is-a-3d-tokenized-llm-the-key-to-reliable","title":"Is a 3D-Tokenized LLM the Key to Reliable Autonomous Driving?","date":"2024-05-28","arxiv_id":"2405.18361","repositories_listed":0,"syntology":null},{"url":null,"slug":"rlsf-reinforcement-learning-via-symbolic","title":"RLSF: Reinforcement Learning via Symbolic Feedback","date":"2024-05-26","arxiv_id":"2405.16661","repositories_listed":0,"syntology":null},{"url":null,"slug":"distilling-instruction-following-abilities-of","title":"Distilling Instruction-following Abilities of Large Language Models with Task-aware Curriculum Planning","date":"2024-05-22","arxiv_id":"2405.13448","repositories_listed":0,"syntology":null},{"url":null,"slug":"llm-reasoning-planning-for-supporting","title":"LLM+Reasoning+Planning for supporting incomplete user queries in presence of APIs","date":"2024-05-21","arxiv_id":"2405.12433","repositories_listed":0,"syntology":null},{"url":null,"slug":"star-a-benchmark-for-situated-reasoning-in-1","title":"STAR: A Benchmark for Situated Reasoning in Real-World Videos","date":"2024-05-15","arxiv_id":"2405.09711","repositories_listed":0,"syntology":null},{"url":null,"slug":"metareflection-learning-instructions-for","title":"MetaReflection: Learning Instructions for Language Agents using Past Reflections","date":"2024-05-13","arxiv_id":"2405.13009","repositories_listed":0,"syntology":null},{"url":null,"slug":"mathdivide-improved-mathematical-reasoning-by","title":"MathDivide: Improved mathematical reasoning by large language models","date":"2024-05-12","arxiv_id":"2405.13004","repositories_listed":0,"syntology":null},{"url":null,"slug":"logical-negation-augmenting-and-debiasing-for","title":"Logical Negation Augmenting and Debiasing for Prompt-based Methods","date":"2024-05-08","arxiv_id":"2405.04872","repositories_listed":0,"syntology":null},{"url":null,"slug":"improving-complex-reasoning-over-knowledge","title":"Improving Complex Reasoning over Knowledge Graph with Logic-Aware Curriculum Tuning","date":"2024-05-02","arxiv_id":"2405.01649","repositories_listed":0,"syntology":null},{"url":null,"slug":"superclue-fin-graded-fine-grained-analysis-of","title":"SuperCLUE-Fin: Graded Fine-Grained Analysis of Chinese LLMs on Diverse Financial Tasks and Applications","date":"2024-04-29","arxiv_id":"2404.19063","repositories_listed":0,"syntology":null},{"url":null,"slug":"cantor-inspiring-multimodal-chain-of-thought","title":"Cantor: Inspiring Multimodal Chain-of-Thought of MLLM","date":"2024-04-24","arxiv_id":"2404.16033","repositories_listed":0,"syntology":null},{"url":null,"slug":"deceiving-to-enlighten-coaxing-llms-to-self","title":"Reinforcement Learning from Multi-role Debates as Feedback for Bias Mitigation in LLMs","date":"2024-04-15","arxiv_id":"2404.10160","repositories_listed":0,"syntology":null},{"url":null,"slug":"canttalkaboutthis-aligning-language-models-to","title":"CantTalkAboutThis: Aligning Language Models to Stay on Topic in Dialogues","date":"2024-04-04","arxiv_id":"2404.03820","repositories_listed":0,"syntology":null},{"url":null,"slug":"reason-from-fallacy-enhancing-large-language","title":"Reason from Fallacy: Enhancing Large Language Models' Logical Reasoning through Logical Fallacy Understanding","date":"2024-04-04","arxiv_id":"2404.04293","repositories_listed":0,"syntology":null},{"url":null,"slug":"i-design-personalized-llm-interior-designer","title":"I-Design: Personalized LLM Interior Designer","date":"2024-04-03","arxiv_id":"2404.02838","repositories_listed":0,"syntology":null},{"url":null,"slug":"sphere-neural-networks-for-rational-reasoning","title":"Sphere Neural-Networks for Rational Reasoning","date":"2024-03-22","arxiv_id":"2403.15297","repositories_listed":0,"syntology":null},{"url":null,"slug":"natural-language-as-polices-reasoning-for","title":"Natural Language as Policies: Reasoning for Coordinate-Level Embodied Control with LLMs","date":"2024-03-20","arxiv_id":"2403.13801","repositories_listed":0,"syntology":null},{"url":null,"slug":"reasoning-in-transformers-mitigating-spurious","title":"Reasoning in Transformers - Mitigating Spurious Correlations and Reasoning Shortcuts","date":"2024-03-17","arxiv_id":"2403.11314","repositories_listed":0,"syntology":null},{"url":null,"slug":"learning-guided-automated-reasoning-a-brief","title":"Learning Guided Automated Reasoning: A Brief Survey","date":"2024-03-06","arxiv_id":"2403.04017","repositories_listed":0,"syntology":null},{"url":null,"slug":"fuzzy-datalog-exists-over-arbitrary-t-norms","title":"Fuzzy Datalog$^\\exists$ over Arbitrary t-Norms","date":"2024-03-05","arxiv_id":"2403.02933","repositories_listed":0,"syntology":null},{"url":null,"slug":"as-es-learning-towards-efficient-cot-learning","title":"AS-ES Learning: Towards Efficient CoT Learning in Small Models","date":"2024-03-04","arxiv_id":"2403.01969","repositories_listed":0,"syntology":null},{"url":null,"slug":"balancing-exploration-and-exploitation-in-llm","title":"Balancing Exploration and Exploitation in LLM using Soft RLLF for Enhanced Negation Understanding","date":"2024-03-02","arxiv_id":"2403.01185","repositories_listed":0,"syntology":null},{"url":null,"slug":"do-large-language-models-mirror-cognitive","title":"Do Large Language Models Mirror Cognitive Language Processing?","date":"2024-02-28","arxiv_id":"2402.18023","repositories_listed":0,"syntology":null},{"url":null,"slug":"towards-generalist-prompting-for-large","title":"Towards Generalist Prompting for Large Language Models by Mental Models","date":"2024-02-28","arxiv_id":"2402.18252","repositories_listed":0,"syntology":null},{"url":null,"slug":"enhanced-user-interaction-in-operating","title":"Enhanced User Interaction in Operating Systems through Machine Learning Language Models","date":"2024-02-24","arxiv_id":"2403.00806","repositories_listed":0,"syntology":null},{"url":null,"slug":"federated-complex-qeury-answering","title":"Federated Neural Graph Databases","date":"2024-02-22","arxiv_id":"2402.14609","repositories_listed":0,"syntology":null},{"url":null,"slug":"a-neuro-symbolic-approach-to-multi-agent-rl","title":"A Neuro-Symbolic Approach to Multi-Agent RL for Interpretability and Probabilistic Decision Making","date":"2024-02-21","arxiv_id":"2402.13440","repositories_listed":0,"syntology":null},{"url":null,"slug":"reasoning-algorithmically-in-graph-neural","title":"Reasoning Algorithmically in Graph Neural Networks","date":"2024-02-21","arxiv_id":"2402.13744","repositories_listed":0,"syntology":null},{"url":null,"slug":"synthetic-data-almost-from-scratch","title":"Synthetic Data (Almost) from Scratch: Generalized Instruction Tuning for Language Models","date":"2024-02-20","arxiv_id":"2402.13064","repositories_listed":0,"syntology":null},{"url":null,"slug":"do-large-language-models-understand-logic-or","title":"Do Large Language Models Understand Logic or Just Mimick Context?","date":"2024-02-19","arxiv_id":"2402.12091","repositories_listed":0,"syntology":null},{"url":null,"slug":"sola-solver-layer-adaption-of-llm-for-better","title":"DiLA: Enhancing LLM Tool Learning with Differential Logic Layer","date":"2024-02-19","arxiv_id":"2402.11903","repositories_listed":0,"syntology":null},{"url":null,"slug":"puzzle-solving-using-reasoning-of-large","title":"Puzzle Solving using Reasoning of Large Language Models: A Survey","date":"2024-02-17","arxiv_id":"2402.11291","repositories_listed":0,"syntology":null},{"url":null,"slug":"assessing-the-reasoning-abilities-of-chatgpt","title":"Assessing the Reasoning Abilities of ChatGPT in the Context of Claim Verification","date":"2024-02-16","arxiv_id":"2402.10735","repositories_listed":0,"syntology":null},{"url":null,"slug":"navigating-the-dual-facets-a-comprehensive","title":"Navigating the Dual Facets: A Comprehensive Evaluation of Sequential Memory Editing in Large Language Models","date":"2024-02-16","arxiv_id":"2402.11122","repositories_listed":0,"syntology":null},{"url":null,"slug":"beyond-llms-advancing-the-landscape-of","title":"Beyond LLMs: Advancing the Landscape of Complex Reasoning","date":"2024-02-12","arxiv_id":"2402.08064","repositories_listed":0,"syntology":null},{"url":null,"slug":"pivot-iterative-visual-prompting-elicits","title":"PIVOT: Iterative Visual Prompting Elicits Actionable Knowledge for VLMs","date":"2024-02-12","arxiv_id":"2402.07872","repositories_listed":0,"syntology":null},{"url":null,"slug":"beware-of-words-evaluating-the-lexical","title":"Beware of Words: Evaluating the Lexical Diversity of Conversational LLMs using ChatGPT as Case Study","date":"2024-02-11","arxiv_id":"2402.15518","repositories_listed":0,"syntology":null},{"url":null,"slug":"large-language-user-interfaces-voice","title":"Large Language User Interfaces: Voice Interactive User Interfaces powered by LLMs","date":"2024-02-07","arxiv_id":"2402.07938","repositories_listed":0,"syntology":null},{"url":null,"slug":"large-language-models-as-an-indirect-reasoner","title":"Large Language Models as an Indirect Reasoner: Contrapositive and Contradiction for Automated Reasoning","date":"2024-02-06","arxiv_id":"2402.03667","repositories_listed":0,"syntology":null},{"url":null,"slug":"symbol-correctness-in-deep-neural-networks","title":"Symbol Correctness in Deep Neural Networks Containing Symbolic Layers","date":"2024-02-06","arxiv_id":"2402.03663","repositories_listed":0,"syntology":null},{"url":null,"slug":"beyond-the-limits-a-survey-of-techniques-to","title":"Beyond the Limits: A Survey of Techniques to Extend the Context Length in Large Language Models","date":"2024-02-03","arxiv_id":"2402.02244","repositories_listed":0,"syntology":null},{"url":null,"slug":"learning-planning-based-reasoning-by","title":"Learning Planning-based Reasoning by Trajectories Collection and Process Reward Synthesizing","date":"2024-02-01","arxiv_id":"2402.00658","repositories_listed":0,"syntology":null},{"url":null,"slug":"detection-based-intermediate-supervision-for","title":"Detection-based Intermediate Supervision for Visual Question Answering","date":"2023-12-26","arxiv_id":"2312.16012","repositories_listed":0,"syntology":null},{"url":null,"slug":"dynamic-in-context-learning-from-nearest","title":"Dynamic In-Context Learning from Nearest Neighbors for Bundle Generation","date":"2023-12-26","arxiv_id":"2312.16262","repositories_listed":0,"syntology":null},{"url":null,"slug":"the-good-the-bad-and-why-unveiling-emotions","title":"The Good, The Bad, and Why: Unveiling Emotions in Generative AI","date":"2023-12-18","arxiv_id":"2312.11111","repositories_listed":0,"syntology":null},{"url":null,"slug":"assessing-satnet-s-ability-to-solve-the-1","title":"Assessing SATNet's Ability to Solve the Symbol Grounding Problem","date":"2023-12-13","arxiv_id":"2312.11522","repositories_listed":0,"syntology":null},{"url":null,"slug":"large-language-model-enhanced-multi-agent","title":"Large Language Model Enhanced Multi-Agent Systems for 6G Communications","date":"2023-12-13","arxiv_id":"2312.07850","repositories_listed":0,"syntology":null},{"url":null,"slug":"large-language-models-are-complex-table","title":"Large Language Models are Complex Table Parsers","date":"2023-12-13","arxiv_id":"2312.11521","repositories_listed":0,"syntology":null},{"url":null,"slug":"deciphering-digital-detectives-understanding","title":"Deciphering Digital Detectives: Understanding LLM Behaviors and Capabilities in Multi-Agent Mystery Games","date":"2023-12-01","arxiv_id":"2312.00746","repositories_listed":0,"syntology":null},{"url":null,"slug":"enhancing-logical-reasoning-in-large-language","title":"Enhancing Logical Reasoning in Large Language Models to Facilitate Legal Applications","date":"2023-11-22","arxiv_id":"2311.13095","repositories_listed":0,"syntology":null},{"url":null,"slug":"generation-of-explanations-for-logic","title":"Generation of Explanations for Logic Reasoning","date":"2023-11-22","arxiv_id":"2311.13455","repositories_listed":0,"syntology":null},{"url":null,"slug":"de-fine-decomposing-and-refining-visual","title":"De-fine: Decomposing and Refining Visual Programs with Auto-Feedback","date":"2023-11-21","arxiv_id":"2311.12890","repositories_listed":0,"syntology":null},{"url":null,"slug":"followeval-a-multi-dimensional-benchmark-for","title":"FollowEval: A Multi-Dimensional Benchmark for Assessing the Instruction-Following Capability of Large Language Models","date":"2023-11-16","arxiv_id":"2311.09829","repositories_listed":0,"syntology":null},{"url":null,"slug":"x-mark-towards-lossless-watermarking-through","title":"WatME: Towards Lossless Watermarking Through Lexical Redundancy","date":"2023-11-16","arxiv_id":"2311.09832","repositories_listed":0,"syntology":null},{"url":null,"slug":"are-llms-rigorous-logical-reasoner-empowering","title":"Are LLMs Rigorous Logical Reasoner? Empowering Natural Language Proof Generation with Contrastive Stepwise Decoding","date":"2023-11-12","arxiv_id":"2311.06736","repositories_listed":0,"syntology":null},{"url":null,"slug":"from-complex-to-simple-unraveling-the","title":"From Complex to Simple: Unraveling the Cognitive Tree for Reasoning with Small Language Models","date":"2023-11-12","arxiv_id":"2311.06754","repositories_listed":0,"syntology":null},{"url":null,"slug":"language-models-can-be-logical-solvers","title":"Language Models can be Logical Solvers","date":"2023-11-10","arxiv_id":"2311.06158","repositories_listed":0,"syntology":null},{"url":null,"slug":"let-s-reinforce-step-by-step","title":"Let's Reinforce Step by Step","date":"2023-11-10","arxiv_id":"2311.05821","repositories_listed":0,"syntology":null},{"url":null,"slug":"cool-a-constraint-object-oriented-logic","title":"COOL: A Constraint Object-Oriented Logic Programming Language and its Neural-Symbolic Compilation System","date":"2023-11-07","arxiv_id":"2311.03753","repositories_listed":0,"syntology":null},{"url":null,"slug":"evaluating-the-potential-of-leading-large","title":"Evaluating the Potential of Leading Large Language Models in Reasoning Biology Questions","date":"2023-11-05","arxiv_id":"2311.07582","repositories_listed":0,"syntology":null},{"url":null,"slug":"assessing-step-by-step-reasoning-against","title":"Assessing Step-by-Step Reasoning against Lexical Negation: A Case Study on Syllogism","date":"2023-10-23","arxiv_id":"2310.14868","repositories_listed":0,"syntology":null},{"url":null,"slug":"detectgpt-sc-improving-detection-of-text","title":"DetectGPT-SC: Improving Detection of Text Generated by Large Language Models through Self-Consistency with Masked Predictions","date":"2023-10-23","arxiv_id":"2310.14479","repositories_listed":0,"syntology":null},{"url":null,"slug":"retrieval-augmented-neural-response","title":"Retrieval-Augmented Neural Response Generation Using Logical Reasoning and Relevance Scoring","date":"2023-10-20","arxiv_id":"2310.13566","repositories_listed":0,"syntology":null},{"url":null,"slug":"the-potential-of-large-language-models-for","title":"The potential of large language models for improving probability learning: A study on ChatGPT3.5 and first-year computer engineering students","date":"2023-10-09","arxiv_id":"2310.05686","repositories_listed":0,"syntology":null},{"url":null,"slug":"learning-reliable-logical-rules-with-satnet","title":"Learning Reliable Logical Rules with SATNet","date":"2023-10-03","arxiv_id":"2310.02133","repositories_listed":0,"syntology":null},{"url":null,"slug":"towards-logiglue-a-brief-survey-and-a","title":"Towards LogiGLUE: A Brief Survey and A Benchmark for Analyzing Logical Reasoning Capabilities of Language Models","date":"2023-10-02","arxiv_id":"2310.00836","repositories_listed":0,"syntology":null},{"url":null,"slug":"physics-of-language-models-part-3-2-knowledge","title":"Physics of Language Models: Part 3.2, Knowledge Manipulation","date":"2023-09-25","arxiv_id":"2309.14402","repositories_listed":0,"syntology":null},{"url":null,"slug":"on-the-potential-of-clip-for-compositional","title":"On the Potential of CLIP for Compositional Logical Reasoning","date":"2023-08-30","arxiv_id":"2308.15887","repositories_listed":0,"syntology":null},{"url":null,"slug":"human-comprehensible-active-learning-of","title":"Human Comprehensible Active Learning of Genome-Scale Metabolic Networks","date":"2023-08-24","arxiv_id":"2308.12740","repositories_listed":0,"syntology":null},{"url":null,"slug":"boosting-logical-reasoning-in-large-language","title":"Boosting Logical Reasoning in Large Language Models through a New Framework: The Graph of Thought","date":"2023-08-16","arxiv_id":"2308.08614","repositories_listed":0,"syntology":null},{"url":null,"slug":"thinking-like-an-expert-multimodal-hypergraph","title":"Thinking Like an Expert:Multimodal Hypergraph-of-Thought (HoT) Reasoning to boost Foundation Modals","date":"2023-08-11","arxiv_id":"2308.06207","repositories_listed":0,"syntology":null},{"url":null,"slug":"structural-embeddings-of-tools-for-large","title":"Structural Embeddings of Tools for Large Language Models","date":"2023-08-01","arxiv_id":"2308.00447","repositories_listed":0,"syntology":null},{"url":null,"slug":"is-chatgpt-a-good-personality-recognizer-a","title":"Is ChatGPT a Good Personality Recognizer? A Preliminary Study","date":"2023-07-08","arxiv_id":"2307.03952","repositories_listed":0,"syntology":null},{"url":null,"slug":"counterfactual-collaborative-reasoning","title":"Counterfactual Collaborative Reasoning","date":"2023-06-30","arxiv_id":"2307.00165","repositories_listed":0,"syntology":null}],"record_sha256":"a3da01f8d200238708d4a922d26e02afa789bc7d7f01f6f8673e53a4979b2f7f","record_changed_at":"2026-09-28","record_changed_at_basis":"first_hashed"}