Automated theorem provers and formal proof assistants are general reasoning systems that
are in theory capable of proving arbitrarily hard theorems, thus solving arbitrary problems …

Automated reasoning and machine learning have contrasting natures: the former relies on
precise computation and produces exact, logically correct answers; the latter learns from …

Abstract Systems that can automate some aspects of logical reasoning are now very strong,
through years of theoretical and practical development. Some progress has been made to …

With the introduction of large language models, AI for natural language have taken a leap.
These systems are now also being used for tasks that has previously been dominated by …

Résumé This book constitutes the refereed proceedings of the 6th International Joint
Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012 …

IJCAR is the premier international joint conference on all aspects of automated reasoning,
including foundations, implementations, and applications, comprising several leading …

We discuss the practical results obtained by the first generation of automated theorem
provers based on Deduction modulo theory. In particular, we demonstrate the concrete …

The greatest source of progress in automated theorem proving in the last 30 years has been
the development of better search heuristics, usually based on developer experience and …

In theorem proving, the task of selecting useful premises from a large library to unlock the
proof of a given conjecture is crucially important. This presents a challenge for all theorem …

I provide a personal perspective of a European collaboration in the area of automated
reasoning. I describe the birth and growth of this collaboration and give a snapshot of its …