{"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/7","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":7,"pages_in_order":8,"rows_per_page":100,"rows":[601,700],"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/6","next":"/task/logical-reasoning/papers/8","papers":[{"url":null,"slug":"what-is-the-title-of-this-paper-solving-logic","title":"What is the Title of this Paper? Solving logic puzzles using algorithms","date":"2023-06-30","arxiv_id":"2309.13044","repositories_listed":0,"syntology":null},{"url":null,"slug":"exploring-exploiting-high-order-graph","title":"Exploring & Exploiting High-Order Graph Structure for Sparse Knowledge Graph Completion","date":"2023-06-29","arxiv_id":"2306.17034","repositories_listed":0,"syntology":null},{"url":null,"slug":"evaluating-large-language-models-with","title":"Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases","date":"2023-06-21","arxiv_id":"2306.12567","repositories_listed":0,"syntology":null},{"url":null,"slug":"language-to-rewards-for-robotic-skill","title":"Language to Rewards for Robotic Skill Synthesis","date":"2023-06-14","arxiv_id":"2306.08647","repositories_listed":0,"syntology":null},{"url":null,"slug":"large-language-models-as-tax-attorneys-a-case","title":"Large Language Models as Tax Attorneys: A Case Study in Legal Capabilities Emergence","date":"2023-06-12","arxiv_id":"2306.07075","repositories_listed":0,"syntology":null},{"url":null,"slug":"human-in-the-loop-through-chain-of-thought","title":"Human-in-the-Loop through Chain-of-Thought","date":"2023-06-10","arxiv_id":"2306.07932","repositories_listed":0,"syntology":null},{"url":null,"slug":"chatgpt-is-a-remarkable-tool-for-experts","title":"ChatGPT is a Remarkable Tool -- For Experts","date":"2023-06-02","arxiv_id":"2306.03102","repositories_listed":0,"syntology":null},{"url":null,"slug":"knowledge-based-reasoning-and-learning-under","title":"Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork","date":"2023-06-01","arxiv_id":"2306.00790","repositories_listed":0,"syntology":null},{"url":null,"slug":"not-wacky-vs-definitely-wacky-a-study-of","title":"Not wacky vs. definitely wacky: A study of scalar adverbs in pretrained language models","date":"2023-05-25","arxiv_id":"2305.16426","repositories_listed":0,"syntology":null},{"url":null,"slug":"deduction-under-perturbed-evidence-probing","title":"Deduction under Perturbed Evidence: Probing Student Simulation Capabilities of Large Language Models","date":"2023-05-23","arxiv_id":"2305.14507","repositories_listed":0,"syntology":null},{"url":null,"slug":"memory-efficient-fine-tuning-of-compressed","title":"Memory-Efficient Fine-Tuning of Compressed Large Language Models via sub-4-bit Integer Quantization","date":"2023-05-23","arxiv_id":"2305.14152","repositories_listed":0,"syntology":null},{"url":null,"slug":"selfzcot-a-self-prompt-zero-shot-cot-from","title":"Hint of Thought prompting: an explainable and zero-shot approach to reasoning tasks with LLMs","date":"2023-05-19","arxiv_id":"2305.11461","repositories_listed":0,"syntology":null},{"url":null,"slug":"a-simple-generative-model-of-logical","title":"A Simple Generative Model of Logical Reasoning and Statistical Learning","date":"2023-05-18","arxiv_id":"2305.11098","repositories_listed":0,"syntology":null},{"url":null,"slug":"knowledge-authoring-for-rules-and-actions","title":"Knowledge Authoring for Rules and Actions","date":"2023-05-12","arxiv_id":"2305.07763","repositories_listed":0,"syntology":null},{"url":null,"slug":"the-dark-side-of-explanations-poisoning","title":"The Dark Side of Explanations: Poisoning Recommender Systems with Counterfactual Examples","date":"2023-04-30","arxiv_id":"2305.00574","repositories_listed":0,"syntology":null},{"url":null,"slug":"chatabl-abductive-learning-via-natural","title":"ChatABL: Abductive Learning via Natural Language Interaction with ChatGPT","date":"2023-04-21","arxiv_id":"2304.11107","repositories_listed":0,"syntology":null},{"url":null,"slug":"leafai-query-generator-for-clinical-cohort","title":"LeafAI: query generator for clinical cohort discovery rivaling a human programmer","date":"2023-04-13","arxiv_id":"2304.06203","repositories_listed":0,"syntology":null},{"url":null,"slug":"scallop-a-language-for-neurosymbolic","title":"Scallop: A Language for Neurosymbolic Programming","date":"2023-04-10","arxiv_id":"2304.04812","repositories_listed":0,"syntology":null},{"url":null,"slug":"attribution-scores-and-causal-counterfactuals","title":"Attribution-Scores and Causal Counterfactuals as Explanations in Artificial Intelligence","date":"2023-03-06","arxiv_id":"2303.02829","repositories_listed":0,"syntology":null},{"url":null,"slug":"a-comprehensive-survey-on-pretrained","title":"A Comprehensive Survey on Pretrained Foundation Models: A History from BERT to ChatGPT","date":"2023-02-18","arxiv_id":"2302.09419","repositories_listed":0,"syntology":null},{"url":null,"slug":"unifying-structure-reasoning-and-language","title":"Unifying Structure Reasoning and Language Model Pre-training for Complex Reasoning","date":"2023-01-21","arxiv_id":"2301.08913","repositories_listed":0,"syntology":null},{"url":null,"slug":"a-separation-logic-for-sequences-in-pointer","title":"A separation logic for sequences in pointer programs and its decidability","date":"2023-01-16","arxiv_id":"2301.06237","repositories_listed":0,"syntology":null},{"url":null,"slug":"modeling-human-cognition-with-a-hybrid-deep","title":"CogReact: A Reinforced Framework to Model Human Cognitive Reaction Modulated by Dynamic Intervention","date":"2023-01-15","arxiv_id":"2301.06216","repositories_listed":0,"syntology":null},{"url":null,"slug":"lambada-backward-chaining-for-automated","title":"LAMBADA: Backward Chaining for Automated Reasoning in Natural Language","date":"2022-12-20","arxiv_id":"2212.13894","repositories_listed":0,"syntology":null},{"url":null,"slug":"apollo-a-simple-approach-for-adaptive","title":"APOLLO: A Simple Approach for Adaptive Pretraining of Language Models for Logical Reasoning","date":"2022-12-19","arxiv_id":"2212.09282","repositories_listed":0,"syntology":null},{"url":null,"slug":"neuro-symbolic-spatio-temporal-reasoning","title":"Neuro-Symbolic Spatio-Temporal Reasoning","date":"2022-11-28","arxiv_id":"2211.15566","repositories_listed":0,"syntology":null},{"url":null,"slug":"evident-a-development-methodology-and-a","title":"Evident: a Development Methodology and a Knowledge Base Topology for Data Mining, Machine Learning and General Knowledge Management","date":"2022-11-09","arxiv_id":"2211.10291","repositories_listed":0,"syntology":null},{"url":null,"slug":"join-chain-network-a-logical-reasoning-view","title":"Join-Chain Network: A Logical Reasoning View of the Multi-head Attention in Transformer","date":"2022-10-06","arxiv_id":"2210.02729","repositories_listed":0,"syntology":null},{"url":null,"slug":"to-what-extent-do-natural-language","title":"To What Extent Do Natural Language Understanding Datasets Correlate to Logical Reasoning? A Method for Diagnosing Logical Reasoning.","date":"2022-10-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"type-dependent-prompt-cycleqag-cycle","title":"Type-dependent Prompt CycleQAG : Cycle Consistency for Multi-hop Question Generation","date":"2022-10-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"towards-human-compatible-xai-explaining-data","title":"Towards Human-Compatible XAI: Explaining Data Differentials with Concept Induction over Background Knowledge","date":"2022-09-27","arxiv_id":"2209.13710","repositories_listed":0,"syntology":null},{"url":null,"slug":"time-aware-self-attention-meets-logic","title":"Time-aware Self-Attention Meets Logic Reasoning in Recommender Systems","date":"2022-08-29","arxiv_id":"2208.13330","repositories_listed":0,"syntology":null},{"url":null,"slug":"toward-a-reasoning-and-learning-architecture","title":"Knowledge-based and Data-driven Reasoning and Learning for Ad Hoc Teamwork","date":"2022-08-24","arxiv_id":"2208.11556","repositories_listed":0,"syntology":null},{"url":null,"slug":"truth-table-net-a-new-convolutional","title":"A Scalable, Interpretable, Verifiable & Differentiable Logic Gate Convolutional Neural Network Architecture From Truth Tables","date":"2022-08-18","arxiv_id":"2208.08609","repositories_listed":0,"syntology":null},{"url":null,"slug":"reduced-implication-bias-logic-loss-for-neuro","title":"Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning","date":"2022-08-14","arxiv_id":"2208.06838","repositories_listed":0,"syntology":null},{"url":null,"slug":"emotion-recognition-in-conversation-using","title":"Emotion Recognition in Conversation using Probabilistic Soft Logic","date":"2022-07-14","arxiv_id":"2207.07238","repositories_listed":0,"syntology":null},{"url":null,"slug":"discourse-aware-graph-networks-for-textual","title":"Discourse-Aware Graph Networks for Textual Logical Reasoning","date":"2022-07-04","arxiv_id":"2207.01450","repositories_listed":0,"syntology":null},{"url":null,"slug":"analog-testing-analytical-and-deductive-logic","title":"AnaLog: Testing Analytical and Deductive Logic Learnability in Language Models","date":"2022-07-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"towards-unifying-perceptual-reasoning-and","title":"Towards Unifying Perceptual Reasoning and Logical Reasoning","date":"2022-06-27","arxiv_id":"2206.13174","repositories_listed":0,"syntology":null},{"url":null,"slug":"joint-abductive-and-inductive-neural-logical","title":"TAR: Neural Logical Reasoning across TBox and ABox","date":"2022-05-29","arxiv_id":"2205.14591","repositories_listed":0,"syntology":null},{"url":null,"slug":"reasoning-over-logically-interacted","title":"Reasoning over Logically Interacted Conditions for Question Answering","date":"2022-05-25","arxiv_id":"2205.12898","repositories_listed":0,"syntology":null},{"url":null,"slug":"selection-inference-exploiting-large-language","title":"Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoning","date":"2022-05-19","arxiv_id":"2205.09712","repositories_listed":0,"syntology":null},{"url":null,"slug":"graph-neural-networks-for-propositional-model","title":"Graph Neural Networks for Propositional Model Counting","date":"2022-05-09","arxiv_id":"2205.04423","repositories_listed":0,"syntology":null},{"url":null,"slug":"reasoning-with-multi-structure-commonsense","title":"Reasoning with Multi-Structure Commonsense Knowledge in Visual Dialog","date":"2022-04-10","arxiv_id":"2204.04680","repositories_listed":0,"syntology":null},{"url":null,"slug":"enhancing-neural-mathematical-reasoning-by","title":"Enhancing Neural Mathematical Reasoning by Abductive Combination with Symbolic Library","date":"2022-03-28","arxiv_id":"2203.14487","repositories_listed":0,"syntology":null},{"url":"/paper/a-densely-connected-criss-cross-attention","slug":"a-densely-connected-criss-cross-attention","title":"A Densely Connected Criss-Cross Attention Network for Document-level Relation Extraction","date":"2022-03-26","arxiv_id":"2203.13953","repositories_listed":0,"syntology":null},{"url":null,"slug":"towards-unifying-logical-entailment-and","title":"Towards Unifying Logical Entailment and Statistical Estimation","date":"2022-02-27","arxiv_id":"2202.13406","repositories_listed":0,"syntology":null},{"url":null,"slug":"muc-driven-feature-importance-measurement-and","title":"MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest","date":"2022-02-25","arxiv_id":"2202.12512","repositories_listed":0,"syntology":null},{"url":null,"slug":"james-job-title-mapping-with-multi-aspect","title":"JAMES: Normalizing Job Titles with Multi-Aspect Graph Embeddings and Reasoning","date":"2022-02-22","arxiv_id":"2202.10739","repositories_listed":0,"syntology":null},{"url":null,"slug":"logical-reasoning-for-task-oriented-dialogue","title":"Logical Reasoning for Task Oriented Dialogue Systems","date":"2022-02-08","arxiv_id":"2202.04161","repositories_listed":0,"syntology":null},{"url":null,"slug":"neural-logic-analogy-learning","title":"Neural Logic Analogy Learning","date":"2022-02-04","arxiv_id":"2202.02436","repositories_listed":0,"syntology":null},{"url":null,"slug":"combining-commonsense-reasoning-and-knowledge","title":"Combining Commonsense Reasoning and Knowledge Acquisition to Guide Deep Learning in Robotics","date":"2022-01-25","arxiv_id":"2201.10266","repositories_listed":0,"syntology":null},{"url":null,"slug":"btpk-based-learning-an-interpretable-method","title":"BTPK-based interpretable method for NER tasks based on Talmudic Public Announcement Logic","date":"2022-01-24","arxiv_id":"2201.09523","repositories_listed":0,"syntology":null},{"url":null,"slug":"scales-and-hedges-in-a-logic-with-analogous","title":"Scales and Hedges in a Logic with Analogous Semantics","date":"2022-01-21","arxiv_id":"2201.08677","repositories_listed":0,"syntology":null},{"url":null,"slug":"emergent-symbols-through-binding-in-external","title":"Emergent Symbols through Binding in External Memory","date":"2022-01-17","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"can-bert-conduct-logical-reasoning-on-the","title":"Can BERT Conduct Logical Reasoning? On the Difficulty of Learning to Reason from Data","date":"2022-01-16","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"fairr-faithful-and-robust-deductive-reasoning","title":"FaiRR: Faithful and Robust Deductive Reasoning over Natural Language","date":"2022-01-16","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"mango-enhancing-the-robustness-of-vqa-models","title":"MANGO: Enhancing the Robustness of VQA Models via Adversarial Noise Generation","date":"2022-01-16","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"quantifying-adaptability-in-pre-trained-1","title":"Quantifying Adaptability in Pre-trained Language Models with 500 Tasks","date":"2022-01-16","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"does-entity-abstraction-help-generative-1","title":"Does Entity Abstraction Help Generative Transformers Reason?","date":"2022-01-05","arxiv_id":"2201.01787","repositories_listed":0,"syntology":null},{"url":null,"slug":"modeling-associative-reasoning-processes","title":"Modeling Associative Reasoning Processes","date":"2022-01-03","arxiv_id":"2201.00716","repositories_listed":0,"syntology":null},{"url":null,"slug":"explainability-is-in-the-mind-of-the-beholder","title":"Explainability Is in the Mind of the Beholder: Establishing the Foundations of Explainable Artificial Intelligence","date":"2021-12-29","arxiv_id":"2112.14466","repositories_listed":0,"syntology":null},{"url":null,"slug":"graph-collaborative-reasoning","title":"Graph Collaborative Reasoning","date":"2021-12-27","arxiv_id":"2112.13705","repositories_listed":0,"syntology":null},{"url":null,"slug":"the-theory-of-quantitative-trading","title":"The theory of quantitative trading","date":"2021-12-27","arxiv_id":"2201.11070","repositories_listed":0,"syntology":null},{"url":null,"slug":"lonli-an-extensible-framework-for-testing","title":"LoNLI: An Extensible Framework for Testing Diverse Logical Reasoning Capabilities for NLI","date":"2021-12-04","arxiv_id":"2112.02333","repositories_listed":0,"syntology":null},{"url":null,"slug":"scallop-from-probabilistic-deductive","title":"Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning","date":"2021-12-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"one-shot-visual-reasoning-on-rpms-with-an","title":"Two-stage Rule-induction Visual Reasoning on RPMs with an Application to Video Prediction","date":"2021-11-24","arxiv_id":"2111.12301","repositories_listed":0,"syntology":null},{"url":null,"slug":"abductionrules-training-transformers-to","title":"AbductionRules: Training Transformers to Explain Unexpected Inputs","date":"2021-11-16","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"causalr-causal-reasoning-over-natural","title":"CausalR: Causal Reasoning over Natural Language Rulebases","date":"2021-11-16","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"logic-driven-context-extension-and-data-1","title":"Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text","date":"2021-11-16","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"reasoning-like-program-executors","title":"Reasoning Like Program Executors","date":"2021-11-16","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"table-based-fact-verification-with-self","title":"Table-based Fact Verification with Self-adaptive Mixture of Experts","date":"2021-11-16","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"what-makes-machine-reading-comprehension","title":"What Makes Machine Reading Comprehension Questions Difficult? Investigating Variation in Passage Sources and Question Types","date":"2021-11-16","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"automated-scholarly-paper-review-possibility","title":"Automated scholarly paper review: Concepts, technologies, and challenges","date":"2021-11-15","arxiv_id":"2111.07533","repositories_listed":0,"syntology":null},{"url":null,"slug":"diagnosing-the-first-order-logical-reasoning","title":"Diagnosing the First-Order Logical Reasoning Ability Through LogicNLI","date":"2021-11-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":"/paper/sqaler-scaling-question-answering-by","slug":"sqaler-scaling-question-answering-by","title":"SQALER: Scaling Question Answering by Decoupling Multi-Hop and Logical Reasoning","date":"2021-10-27","arxiv_id":"2110.14266","repositories_listed":0,"syntology":{"n":5,"n_ran":1,"n_constructed":0,"n_ran_checked":1,"n_instrument":0,"n_unverified":4,"n_honours":1,"n_violates":0,"n_no_contract":0,"n_pointer_only":0,"phrase":"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","sample_list":"/paper/sqaler-scaling-question-answering-by#ran","syntology_url":"https://syntology.ai/paper/2110.14266","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2110.14266"}},"official":null}},{"url":null,"slug":"logical-assessment-formula-and-its-principles","title":"Logical Assessment Formula and Its Principles for Evaluations with Inaccurate Ground-Truth Labels","date":"2021-10-22","arxiv_id":"2110.11567","repositories_listed":0,"syntology":null},{"url":null,"slug":"a-survey-on-state-of-the-art-techniques-for","title":"A Survey on State-of-the-art Techniques for Knowledge Graphs Construction and Challenges ahead","date":"2021-10-15","arxiv_id":"2110.08012","repositories_listed":0,"syntology":null},{"url":null,"slug":"a-survey-of-knowledge-enhanced-pre-trained","title":"A Survey of Knowledge Enhanced Pre-trained Models","date":"2021-10-01","arxiv_id":"2110.00269","repositories_listed":0,"syntology":null},{"url":null,"slug":"efficient-training-and-inference-of","title":"Efficient Training and Inference of Hypergraph Reasoning Networks","date":"2021-09-29","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"logic-pre-training-of-language-models","title":"Logic Pre-Training of Language Models","date":"2021-09-29","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"nail-a-challenging-benchmark-for-na-ive","title":"NAIL: A Challenging Benchmark for Na\\\"ive Logical Reasoning","date":"2021-09-29","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"truth-table-deep-convolutional-neural-network","title":"Truth Table Deep Convolutional Neural Network, A New SAT-Encodable Architecture - Application To Complete Robustness","date":"2021-09-29","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"what-makes-reading-comprehension-questions-1","title":"What Makes Reading Comprehension Questions Difficult? Investigating Variation in Passage Sources and Question Types","date":"2021-09-17","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"sinoledge-a-knowledge-engine-based-on-logical","title":"Sinoledge: A Knowledge Engine based on Logical Reasoning and Distributed Micro Services","date":"2021-08-29","arxiv_id":"2109.08307","repositories_listed":0,"syntology":null},{"url":null,"slug":"from-statistical-relational-to-neural","title":"From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey","date":"2021-08-25","arxiv_id":"2108.11451","repositories_listed":0,"syntology":null},{"url":null,"slug":"exploring-generalization-ability-of","title":"Exploring Generalization Ability of Pretrained Language Models on Arithmetic and Logical Reasoning","date":"2021-08-15","arxiv_id":"2108.06743","repositories_listed":0,"syntology":null},{"url":null,"slug":"knowledge-informed-semantic-parsing-for","title":"Knowledge Informed Semantic Parsing for Conversational Question Answering","date":"2021-08-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"improving-coherence-and-consistency-in-neural","title":"Improving Coherence and Consistency in Neural Sequence Models with Dual-System, Neuro-Symbolic Reasoning","date":"2021-07-06","arxiv_id":"2107.02794","repositories_listed":0,"syntology":null},{"url":null,"slug":"the-general-theory-of-general-intelligence-a","title":"The General Theory of General Intelligence: A Pragmatic Patternist Perspective","date":"2021-03-28","arxiv_id":"2103.15100","repositories_listed":0,"syntology":null},{"url":null,"slug":"abstract-spatial-temporal-reasoning-via","title":"Abstract Spatial-Temporal Reasoning via Probabilistic Abduction and Execution","date":"2021-03-26","arxiv_id":"2103.14230","repositories_listed":0,"syntology":null},{"url":null,"slug":"a-closer-look-at-the-robustness-of-vision-and","title":"A Closer Look at the Robustness of Vision-and-Language Pre-trained Models","date":"2020-12-15","arxiv_id":"2012.08673","repositories_listed":0,"syntology":null},{"url":null,"slug":"bayes-meets-entailment-and-prediction","title":"Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy","date":"2020-12-15","arxiv_id":"2012.08479","repositories_listed":0,"syntology":null},{"url":null,"slug":"neurosymbolic-ai-the-3rd-wave","title":"Neurosymbolic AI: The 3rd Wave","date":"2020-12-10","arxiv_id":"2012.05876","repositories_listed":0,"syntology":null},{"url":null,"slug":"handling-noisy-labels-via-one-step-abductive","title":"Handling Noisy Labels via One-Step Abductive Multi-Target Learning and Its Application to Helicobacter Pylori Segmentation","date":"2020-11-25","arxiv_id":"2011.14956","repositories_listed":0,"syntology":null},{"url":null,"slug":"axiom-learning-and-belief-tracing-for","title":"Axiom Learning and Belief Tracing for Transparent Decision Making in Robotics","date":"2020-10-20","arxiv_id":"2010.10645","repositories_listed":0,"syntology":null},{"url":null,"slug":"few-shot-visual-reasoning-with-meta","title":"Few-shot Visual Reasoning with Meta-analogical Contrastive Learning","date":"2020-07-23","arxiv_id":"2007.12020","repositories_listed":0,"syntology":null},{"url":null,"slug":"learning-syllogism-with-euler-neural-networks","title":"Learning Syllogism with Euler Neural-Networks","date":"2020-07-14","arxiv_id":"2007.07320","repositories_listed":0,"syntology":null},{"url":null,"slug":"medical-idioms-for-clinical-bayesian-network","title":"Medical idioms for clinical Bayesian network development","date":"2020-07-01","arxiv_id":"2007.00364","repositories_listed":0,"syntology":null},{"url":null,"slug":"multi-source-meta-transfer-for-low-resource","title":"Multi-source Meta Transfer for Low Resource Multiple-Choice Question Answering","date":"2020-07-01","arxiv_id":null,"repositories_listed":0,"syntology":null}],"record_sha256":"88e276795ebb9aa31a2093cdd3678a140775152283b220844631080c79b7d193","record_changed_at":"2026-09-28","record_changed_at_basis":"first_hashed"}