LAMBADA: Backward Chaining for Automated Reasoning in Natural Language [PDF]
Annual Meeting of the Association for Computational Linguistics, 2022 Remarkable progress has been made on automated reasoning with natural text, by using Large Language Models (LLMs) and methods such as Chain-of-Thought prompting and Selection-Inference.
Seyed Mehran Kazemi +4 more
openalex +3 more sources
PyZX: Large Scale Automated Diagrammatic Reasoning [PDF]
QPL, 2020 The ZX-calculus is a graphical language for reasoning about ZX-diagrams, a type of tensor networks that can represent arbitrary linear maps between qubits.
Kissinger, Aleks, van de Wetering, John
core +2 more sources
The Imandra Automated Reasoning System (System Description) [PDF]
Automated Reasoning10th International Joint Conference, 2020 We describe Imandra, a modern computational logic theorem prover designed to bridge the gap between decision procedures such as SMT, semi-automatic inductive provers of the Boyer-Moore family like ACL2, and interactive proof assistants for typed higher ...
Passmore G +8 more
europepmc +3 more sources
Systematic Verification of the Modal Logic Cube in Isabelle/HOL [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which we prove the inclusion relations between the cube's logics using automated reasoning tools. Prior work addresses this problem but without restriction to the
Christoph Benzmüller +2 more
doaj +6 more sources
A Method to Identify and Analyze Biological Programs through Automated Reasoning. [PDF]
NPJ Syst Biol Appl, 2016 Predictive biology is elusive because rigorous, data-constrained, mechanistic models of complex biological systems are difficult to derive and validate.
Yordanov B +5 more
europepmc +3 more sources
Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving [PDF]
, 2011 OWL 2 has been standardized by the World Wide Web Consortium (W3C) as a family of ontology languages for the Semantic Web. The most expressive of these languages is OWL 2 Full, but to date no reasoner has been implemented for this language.
Michael Schneider, Geoff Sutcliffe
openalex +3 more sources
Exploration of Chemical Space Through Automated Reasoning. [PDF]
Angew Chem Int Ed EnglClymo J +7 more
europepmc +5 more sources
Automated Reasoning over Deontic Action Logics with Finite Vocabularies [PDF]
, 2014 In this paper we investigate further the tableaux system for a deontic action logic we presented in previous work. This tableaux system uses atoms (of a given boolean algebra of action terms) as labels of formulae, this allows us to embrace parallel ...
Pablo F. Castro, Thomas S. E. Maibaum
openalex +4 more sources
Mining software repair models for reasoning on the search space of automated program fixing [PDF]
, 2013 This paper is about understanding the nature of bug fixing by analyzing thousands of bug fix transactions of software repositories. It then places this learned knowledge in the context of automated program repair.
Matias Martinez, Martin Monperrus
openalex +3 more sources
Identifying novel drug indications through automated reasoning. [PDF]
PLoS ONE, 2012 With the large amount of pharmacological and biological knowledge available in literature, finding novel drug indications for existing drugs using in silico approaches has become increasingly feasible.
Luis Tari +5 more
doaj +2 more sources