{"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/8","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":8,"pages_in_order":8,"rows_per_page":100,"rows":[701,747],"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/7","next":null,"papers":[{"url":null,"slug":"a-probabilistic-framework-for-discriminative","title":"A Probabilistic Model for Discriminative and Neuro-Symbolic Semi-Supervised Learning","date":"2020-06-10","arxiv_id":"2006.05896","repositories_listed":0,"syntology":null},{"url":null,"slug":"language-modeling-for-formal-mathematics","title":"Mathematical Reasoning via Self-supervised Skip-tree Training","date":"2020-06-08","arxiv_id":"2006.04757","repositories_listed":0,"syntology":null},{"url":null,"slug":"bayesian-entailment-hypothesis-how-brains","title":"Bayesian Entailment Hypothesis: How Brains Implement Monotonic and Non-monotonic Reasoning","date":"2020-05-03","arxiv_id":"2005.00961","repositories_listed":0,"syntology":null},{"url":null,"slug":"unifying-neural-learning-and-symbolic","title":"Unifying Neural Learning and Symbolic Reasoning for Spinal Medical Report Generation","date":"2020-04-28","arxiv_id":"2004.13577","repositories_listed":0,"syntology":null},{"url":null,"slug":"multi-step-inference-for-reasoning-over","title":"Multi-Step Inference for Reasoning Over Paragraphs","date":"2020-04-06","arxiv_id":"2004.02995","repositories_listed":0,"syntology":null},{"url":null,"slug":"extending-automated-deduction-for-commonsense","title":"Extending Automated Deduction for Commonsense Reasoning","date":"2020-03-29","arxiv_id":"2003.13159","repositories_listed":0,"syntology":null},{"url":null,"slug":"from-statistical-relational-to-neuro-symbolic","title":"From Statistical Relational to Neuro-Symbolic Artificial Intelligence","date":"2020-03-18","arxiv_id":"2003.08316","repositories_listed":0,"syntology":null},{"url":null,"slug":"cognitive-argumentation-and-the-suppression","title":"Cognitive Argumentation and the Suppression Task","date":"2020-02-24","arxiv_id":"2002.10149","repositories_listed":0,"syntology":null},{"url":null,"slug":"hypoml-visual-analysis-for-hypothesis-based","title":"HypoML: Visual Analysis for Hypothesis-based Evaluation of Machine Learning Models","date":"2020-02-12","arxiv_id":"2002.05271","repositories_listed":0,"syntology":null},{"url":null,"slug":"a-simplified-supreme-being-necessarily-exists","title":"A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument","date":"2020-01-14","arxiv_id":"2001.04701","repositories_listed":0,"syntology":null},{"url":null,"slug":"neural-logic-networks","title":"Neural Logic Networks","date":"2019-10-17","arxiv_id":"1910.08629","repositories_listed":0,"syntology":null},{"url":null,"slug":"graph-neural-networks-for-reasoning-2","title":"Graph Neural Networks for Reasoning 2-Quantified Boolean Formulas","date":"2019-09-25","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"graph-neural-reasoning-may-fail-in-proving","title":"Graph Neural Reasoning May Fail in Certifying Boolean Unsatisfiability","date":"2019-09-25","arxiv_id":"1909.11588","repositories_listed":0,"syntology":null},{"url":null,"slug":"non-monotonic-logical-reasoning-guiding-deep","title":"Non-monotonic Logical Reasoning Guiding Deep Learning for Explainable Visual Question Answering","date":"2019-09-23","arxiv_id":"1909.10650","repositories_listed":0,"syntology":null},{"url":null,"slug":"190909743","title":"Teaching Pretrained Models with Commonsense Reasoning: A Preliminary KB-Based Approach","date":"2019-09-20","arxiv_id":"1909.09743","repositories_listed":0,"syntology":null},{"url":null,"slug":"logic-and-the-2-simplicial-transformer","title":"Logic and the $2$-Simplicial Transformer","date":"2019-09-02","arxiv_id":"1909.00668","repositories_listed":0,"syntology":null},{"url":null,"slug":"towards-a-theory-of-intentions-for-human","title":"Towards a Theory of Intentions for Human-Robot Collaboration","date":"2019-07-31","arxiv_id":"1907.13275","repositories_listed":0,"syntology":null},{"url":null,"slug":"controlled-natural-languages-and-default","title":"Controlled Natural Languages and Default Reasoning","date":"2019-05-11","arxiv_id":"1905.04422","repositories_listed":0,"syntology":null},{"url":null,"slug":"how-to-make-a-blt-sandwich-learning-to-reason","title":"How to Make a BLT Sandwich? Learning to Reason towards Understanding Web Instructional Videos","date":"2018-12-02","arxiv_id":"1812.00344","repositories_listed":0,"syntology":null},{"url":null,"slug":"compositional-attention-networks-for","title":"Compositional Attention Networks for Interpretability in Natural Language Question Answering","date":"2018-10-30","arxiv_id":"1810.12698","repositories_listed":0,"syntology":null},{"url":null,"slug":"argumentation-synthesis-following-rhetorical","title":"Argumentation Synthesis following Rhetorical Strategies","date":"2018-08-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"modeling-human-decision-making-an-overview-of","title":"Modeling Human Decision-making: An Overview of the Brussels Quantum Approach","date":"2018-07-29","arxiv_id":"1807.11036","repositories_listed":0,"syntology":null},{"url":null,"slug":"data-science-with-vadalog-bridging-machine","title":"Data Science with Vadalog: Bridging Machine Learning and Reasoning","date":"2018-07-23","arxiv_id":"1807.08712","repositories_listed":0,"syntology":null},{"url":null,"slug":"neural-tensor-networks-with-diagonal-slice","title":"Neural Tensor Networks with Diagonal Slice Matrices","date":"2018-06-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"consistent-ccg-parsing-over-multiple","title":"Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning","date":"2018-04-19","arxiv_id":"1804.07068","repositories_listed":0,"syntology":null},{"url":null,"slug":"first-experiments-with-a-flexible","title":"First Experiments with a Flexible Infrastructure for Normative Reasoning","date":"2018-04-09","arxiv_id":"1804.02929","repositories_listed":0,"syntology":null},{"url":null,"slug":"a-new-algorithmic-decision-for-categorical","title":"A New Algorithmic Decision for Categorical Syllogisms via Caroll's Diagrams","date":"2018-02-08","arxiv_id":"1802.04127","repositories_listed":0,"syntology":null},{"url":null,"slug":"a-theoretical-solution-of-the-mind-body","title":"A Theoretical Solution of the Mind-Body Problem: An Operationalized Proof that no Purely Physical System Can Exhibit all the Properties of Human Consciousness","date":"2017-10-31","arxiv_id":"1706.04192","repositories_listed":0,"syntology":null},{"url":null,"slug":"is-writing-style-predictive-of-scientific","title":"Is writing style predictive of scientific fraud?","date":"2017-09-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"tensorlog-deep-learning-meets-probabilistic","title":"TensorLog: Deep Learning Meets Probabilistic DBs","date":"2017-07-17","arxiv_id":"1707.05390","repositories_listed":0,"syntology":null},{"url":null,"slug":"is-writing-style-predictive-of-scientific-1","title":"Is writing style predictive of scientific fraud?","date":"2017-07-13","arxiv_id":"1707.04095","repositories_listed":0,"syntology":null},{"url":null,"slug":"towards-better-response-times-and-higher","title":"Towards Better Response Times and Higher-Quality Queries in Interactive Knowledge Base Debugging","date":"2016-09-08","arxiv_id":"1609.02584","repositories_listed":0,"syntology":null},{"url":null,"slug":"compositional-distributional-cognition","title":"Compositional Distributional Cognition","date":"2016-08-12","arxiv_id":"1608.03785","repositories_listed":0,"syntology":null},{"url":null,"slug":"neural-networks-and-continuous-time","title":"Neural Networks and Continuous Time","date":"2016-06-14","arxiv_id":"1606.04466","repositories_listed":0,"syntology":null},{"url":null,"slug":"mapping-ontologies-using-ontologies-cross","title":"Mapping Ontologies Using Ontologies: Cross-lingual Semantic Role Information Transfer","date":"2016-05-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"reasoning-in-vector-space-an-exploratory","title":"Reasoning in Vector Space: An Exploratory Study of Question Answering","date":"2015-11-19","arxiv_id":"1511.06426","repositories_listed":0,"syntology":null},{"url":null,"slug":"object-oriented-dynamic-networks","title":"Object-Oriented Dynamic Networks","date":"2015-10-14","arxiv_id":"1510.04194","repositories_listed":0,"syntology":null},{"url":null,"slug":"mixed-logical-and-probabilistic-reasoning-for","title":"Mixed Logical and Probabilistic Reasoning for Planning and Explanation Generation in Robotics","date":"2015-08-01","arxiv_id":"1508.00059","repositories_listed":0,"syntology":null},{"url":null,"slug":"towards-ideal-semantics-for-analyzing-stream","title":"Towards Ideal Semantics for Analyzing Stream Reasoning","date":"2015-05-20","arxiv_id":"1505.05365","repositories_listed":0,"syntology":null},{"url":null,"slug":"a-new-fundamental-evidence-of-non-classical","title":"A New Fundamental Evidence of Non-Classical Structure in the Combination of Natural Concepts","date":"2015-05-19","arxiv_id":"1505.04981","repositories_listed":0,"syntology":null},{"url":null,"slug":"the-ratiolog-project-rational-extensions-of","title":"The RatioLog Project: Rational Extensions of Logical Reasoning","date":"2015-03-20","arxiv_id":"1503.06087","repositories_listed":0,"syntology":null},{"url":null,"slug":"quantum-structure-of-negation-and-conjunction","title":"Quantum Structure of Negation and Conjunction in Human Thought","date":"2015-03-14","arxiv_id":"1503.04260","repositories_listed":0,"syntology":null},{"url":null,"slug":"quantum-structure-in-cognition-and-the","title":"Quantum Structure in Cognition and the Foundations of Human Reasoning","date":"2014-12-30","arxiv_id":"1412.8704","repositories_listed":0,"syntology":null},{"url":null,"slug":"inferring-user-preferences-by-probabilistic","title":"Inferring User Preferences by Probabilistic Logical Reasoning over Social Networks","date":"2014-11-11","arxiv_id":"1411.2679","repositories_listed":0,"syntology":null},{"url":null,"slug":"learning-distributed-word-representations-for","title":"Learning Distributed Word Representations for Natural Logic Reasoning","date":"2014-10-15","arxiv_id":"1410.4176","repositories_listed":0,"syntology":null},{"url":null,"slug":"new-directions-in-vector-space-models-of","title":"New Directions in Vector Space Models of Meaning","date":"2014-06-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"lp-a-logic-for-statistical-information","title":"Lp : A Logic for Statistical Information","date":"2013-03-27","arxiv_id":"1304.1491","repositories_listed":0,"syntology":null}],"record_sha256":"793a1c3d48fc84a84d957124eb7a32030ad7eafab73141820b16dca68080a51d","record_changed_at":"2026-09-28","record_changed_at_basis":"first_hashed"}