Browse State-of-the-Art › Logical Reasoning › Papers, page 7

Logical Reasoning

Papers archive 2025-07-28

archive papers tagged: 747 · with a code link: 330 · where Syntology ran a sample: 113 (96 with a run with no instrument failure, 17 where every run was a failure of Syntology's instrument) Syntology

Show: all tagged papersonly where code ran (113 of 747 tagged: 96 with a run with no instrument failure, 17 where every run was a failure of Syntology's instrument)

Page 7 of 8: papers 601 to 700 of 747, in archive order: by repositories listed in the archive (most first), then newest first, not by stars (the archive holds no stars, so PwC's “Social” and “Latest” sorts cannot be reproduced). Papers that list no repository come after every paper that lists one.

Papers without a page here are shown as plain text. A Syntology line reads “N ran (of which C constructed an object rather than computing a result; K with no instrument failure: H honoured, V violated, P with no contract checked; I where Syntology's instrument failed) · U unverified”; the figure “where Syntology's instrument failed” counts failures of Syntology's instrument, not of the code. When the archive marks a repository official for the paper, the line starts with that repository's state (the archive's flag, not a verdict on who wrote the code); hover it for the repositories the samples that ran came from. Abstracts are on each paper's page.

• What is the Title of this Paper? Solving logic puzzles using algorithms
  30 Jun 2023 0 repositories listed
• Exploring & Exploiting High-Order Graph Structure for Sparse Knowledge Graph Completion
  29 Jun 2023 0 repositories listed
• Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases
  21 Jun 2023 0 repositories listed
• Language to Rewards for Robotic Skill Synthesis
  14 Jun 2023 0 repositories listed
• Large Language Models as Tax Attorneys: A Case Study in Legal Capabilities Emergence
  12 Jun 2023 0 repositories listed
• Human-in-the-Loop through Chain-of-Thought
  10 Jun 2023 0 repositories listed
• ChatGPT is a Remarkable Tool -- For Experts
  2 Jun 2023 0 repositories listed
• Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork
  1 Jun 2023 0 repositories listed
• Not wacky vs. definitely wacky: A study of scalar adverbs in pretrained language models
  25 May 2023 0 repositories listed
• Deduction under Perturbed Evidence: Probing Student Simulation Capabilities of Large Language Models
  23 May 2023 0 repositories listed
• Memory-Efficient Fine-Tuning of Compressed Large Language Models via sub-4-bit Integer Quantization
  23 May 2023 0 repositories listed
• Hint of Thought prompting: an explainable and zero-shot approach to reasoning tasks with LLMs
  19 May 2023 0 repositories listed
• A Simple Generative Model of Logical Reasoning and Statistical Learning
  18 May 2023 0 repositories listed
• Knowledge Authoring for Rules and Actions
  12 May 2023 0 repositories listed
• The Dark Side of Explanations: Poisoning Recommender Systems with Counterfactual Examples
  30 Apr 2023 0 repositories listed
• ChatABL: Abductive Learning via Natural Language Interaction with ChatGPT
  21 Apr 2023 0 repositories listed
• LeafAI: query generator for clinical cohort discovery rivaling a human programmer
  13 Apr 2023 0 repositories listed
• Scallop: A Language for Neurosymbolic Programming
  10 Apr 2023 0 repositories listed
• Attribution-Scores and Causal Counterfactuals as Explanations in Artificial Intelligence
  6 Mar 2023 0 repositories listed
• A Comprehensive Survey on Pretrained Foundation Models: A History from BERT to ChatGPT
  18 Feb 2023 0 repositories listed
• Unifying Structure Reasoning and Language Model Pre-training for Complex Reasoning
  21 Jan 2023 0 repositories listed
• A separation logic for sequences in pointer programs and its decidability
  16 Jan 2023 0 repositories listed
• CogReact: A Reinforced Framework to Model Human Cognitive Reaction Modulated by Dynamic Intervention
  15 Jan 2023 0 repositories listed
• LAMBADA: Backward Chaining for Automated Reasoning in Natural Language
  20 Dec 2022 0 repositories listed
• APOLLO: A Simple Approach for Adaptive Pretraining of Language Models for Logical Reasoning
  19 Dec 2022 0 repositories listed
• Neuro-Symbolic Spatio-Temporal Reasoning
  28 Nov 2022 0 repositories listed
• Evident: a Development Methodology and a Knowledge Base Topology for Data Mining, Machine Learning and General Knowledge Management
  9 Nov 2022 0 repositories listed
• Join-Chain Network: A Logical Reasoning View of the Multi-head Attention in Transformer
  6 Oct 2022 0 repositories listed
• To What Extent Do Natural Language Understanding Datasets Correlate to Logical Reasoning? A Method for Diagnosing Logical Reasoning.
  1 Oct 2022 0 repositories listed
• Type-dependent Prompt CycleQAG : Cycle Consistency for Multi-hop Question Generation
  1 Oct 2022 0 repositories listed
• Towards Human-Compatible XAI: Explaining Data Differentials with Concept Induction over Background Knowledge
  27 Sep 2022 0 repositories listed
• Time-aware Self-Attention Meets Logic Reasoning in Recommender Systems
  29 Aug 2022 0 repositories listed
• Knowledge-based and Data-driven Reasoning and Learning for Ad Hoc Teamwork
  24 Aug 2022 0 repositories listed
• A Scalable, Interpretable, Verifiable & Differentiable Logic Gate Convolutional Neural Network Architecture From Truth Tables
  18 Aug 2022 0 repositories listed
• Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
  14 Aug 2022 0 repositories listed
• Emotion Recognition in Conversation using Probabilistic Soft Logic
  14 Jul 2022 0 repositories listed
• Discourse-Aware Graph Networks for Textual Logical Reasoning
  4 Jul 2022 0 repositories listed
• AnaLog: Testing Analytical and Deductive Logic Learnability in Language Models
  1 Jul 2022 0 repositories listed
• Towards Unifying Perceptual Reasoning and Logical Reasoning
  27 Jun 2022 0 repositories listed
• TAR: Neural Logical Reasoning across TBox and ABox
  29 May 2022 0 repositories listed
• Reasoning over Logically Interacted Conditions for Question Answering
  25 May 2022 0 repositories listed
• Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoning
  19 May 2022 0 repositories listed
• Graph Neural Networks for Propositional Model Counting
  9 May 2022 0 repositories listed
• Reasoning with Multi-Structure Commonsense Knowledge in Visual Dialog
  10 Apr 2022 0 repositories listed
• Enhancing Neural Mathematical Reasoning by Abductive Combination with Symbolic Library
  28 Mar 2022 0 repositories listed
• A Densely Connected Criss-Cross Attention Network for Document-level Relation Extraction
  26 Mar 2022 0 repositories listed
• Towards Unifying Logical Entailment and Statistical Estimation
  27 Feb 2022 0 repositories listed
• MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest
  25 Feb 2022 0 repositories listed
• JAMES: Normalizing Job Titles with Multi-Aspect Graph Embeddings and Reasoning
  22 Feb 2022 0 repositories listed
• Logical Reasoning for Task Oriented Dialogue Systems
  8 Feb 2022 0 repositories listed
• Neural Logic Analogy Learning
  4 Feb 2022 0 repositories listed
• Combining Commonsense Reasoning and Knowledge Acquisition to Guide Deep Learning in Robotics
  25 Jan 2022 0 repositories listed
• BTPK-based interpretable method for NER tasks based on Talmudic Public Announcement Logic
  24 Jan 2022 0 repositories listed
• Scales and Hedges in a Logic with Analogous Semantics
  21 Jan 2022 0 repositories listed
• Emergent Symbols through Binding in External Memory
  17 Jan 2022 0 repositories listed
• Can BERT Conduct Logical Reasoning? On the Difficulty of Learning to Reason from Data
  16 Jan 2022 0 repositories listed
• FaiRR: Faithful and Robust Deductive Reasoning over Natural Language
  16 Jan 2022 0 repositories listed
• MANGO: Enhancing the Robustness of VQA Models via Adversarial Noise Generation
  16 Jan 2022 0 repositories listed
• Quantifying Adaptability in Pre-trained Language Models with 500 Tasks
  16 Jan 2022 0 repositories listed
• Does Entity Abstraction Help Generative Transformers Reason?
  5 Jan 2022 0 repositories listed
• Modeling Associative Reasoning Processes
  3 Jan 2022 0 repositories listed
• Explainability Is in the Mind of the Beholder: Establishing the Foundations of Explainable Artificial Intelligence
  29 Dec 2021 0 repositories listed
• Graph Collaborative Reasoning
  27 Dec 2021 0 repositories listed
• The theory of quantitative trading
  27 Dec 2021 0 repositories listed
• LoNLI: An Extensible Framework for Testing Diverse Logical Reasoning Capabilities for NLI
  4 Dec 2021 0 repositories listed
• Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning
  1 Dec 2021 0 repositories listed
• Two-stage Rule-induction Visual Reasoning on RPMs with an Application to Video Prediction
  24 Nov 2021 0 repositories listed
• AbductionRules: Training Transformers to Explain Unexpected Inputs
  16 Nov 2021 0 repositories listed
• CausalR: Causal Reasoning over Natural Language Rulebases
  16 Nov 2021 0 repositories listed
• Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text
  16 Nov 2021 0 repositories listed
• Reasoning Like Program Executors
  16 Nov 2021 0 repositories listed
• Table-based Fact Verification with Self-adaptive Mixture of Experts
  16 Nov 2021 0 repositories listed
• What Makes Machine Reading Comprehension Questions Difficult? Investigating Variation in Passage Sources and Question Types
  16 Nov 2021 0 repositories listed
• Automated scholarly paper review: Concepts, technologies, and challenges
  15 Nov 2021 0 repositories listed
• Diagnosing the First-Order Logical Reasoning Ability Through LogicNLI
  1 Nov 2021 0 repositories listed
• SQALER: Scaling Question Answering by Decoupling Multi-Hop and Logical Reasoning
  27 Oct 2021 0 repositories listed Syntology 1 ran (of which 0 constructed an object rather than computing a result; 1 with no instrument failure: 1 honoured, 0 violated, 0 with no contract checked; 0 where Syntology's instrument failed) · 4 unverified (of 5 harvested samples)
• Logical Assessment Formula and Its Principles for Evaluations with Inaccurate Ground-Truth Labels
  22 Oct 2021 0 repositories listed
• A Survey on State-of-the-art Techniques for Knowledge Graphs Construction and Challenges ahead
  15 Oct 2021 0 repositories listed
• A Survey of Knowledge Enhanced Pre-trained Models
  1 Oct 2021 0 repositories listed
• Efficient Training and Inference of Hypergraph Reasoning Networks
  29 Sep 2021 0 repositories listed
• Logic Pre-Training of Language Models
  29 Sep 2021 0 repositories listed
• NAIL: A Challenging Benchmark for Naïve Logical Reasoning
  29 Sep 2021 0 repositories listed
• Truth Table Deep Convolutional Neural Network, A New SAT-Encodable Architecture - Application To Complete Robustness
  29 Sep 2021 0 repositories listed
• What Makes Reading Comprehension Questions Difficult? Investigating Variation in Passage Sources and Question Types
  17 Sep 2021 0 repositories listed
• Sinoledge: A Knowledge Engine based on Logical Reasoning and Distributed Micro Services
  29 Aug 2021 0 repositories listed
• From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey
  25 Aug 2021 0 repositories listed
• Exploring Generalization Ability of Pretrained Language Models on Arithmetic and Logical Reasoning
  15 Aug 2021 0 repositories listed
• Knowledge Informed Semantic Parsing for Conversational Question Answering
  1 Aug 2021 0 repositories listed
• Improving Coherence and Consistency in Neural Sequence Models with Dual-System, Neuro-Symbolic Reasoning
  6 Jul 2021 0 repositories listed
• The General Theory of General Intelligence: A Pragmatic Patternist Perspective
  28 Mar 2021 0 repositories listed
• Abstract Spatial-Temporal Reasoning via Probabilistic Abduction and Execution
  26 Mar 2021 0 repositories listed
• A Closer Look at the Robustness of Vision-and-Language Pre-trained Models
  15 Dec 2020 0 repositories listed
• Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy
  15 Dec 2020 0 repositories listed
• Neurosymbolic AI: The 3rd Wave
  10 Dec 2020 0 repositories listed
• Handling Noisy Labels via One-Step Abductive Multi-Target Learning and Its Application to Helicobacter Pylori Segmentation
  25 Nov 2020 0 repositories listed
• Axiom Learning and Belief Tracing for Transparent Decision Making in Robotics
  20 Oct 2020 0 repositories listed
• Few-shot Visual Reasoning with Meta-analogical Contrastive Learning
  23 Jul 2020 0 repositories listed
• Learning Syllogism with Euler Neural-Networks
  14 Jul 2020 0 repositories listed
• Medical idioms for clinical Bayesian network development
  1 Jul 2020 0 repositories listed
• Multi-source Meta Transfer for Low Resource Multiple-Choice Question Answering
  1 Jul 2020 0 repositories listed

Syntology lines on 1 of the papers shown; no Syntology record for the others (a paper without an arXiv id cannot be joined to the graph, and absence from the graph layer is not a recorded non-run). “Ran” means the sample executed on a synthesized fixture, not that the paper's result was reproduced; each line links to that paper's sample list. Syntology's record for this page has not changed since 2026-09-28, the first build that kept a record date for it; when this build read Syntology's graph is in the build record. For agents: get_harvested_code_for_paper(arxiv_id) lists each paper's samples; how to connect.