SOURCE-LINKED INTELLIGENCE

Next Generation Computer Assisted Reasoning

CORDIS · observation · Publication date unknown

technology and engineering. Automation of complex mathematical reasoning, discovery and large-scale formal proofs is today one of the greatest challenges in the fields of Automated Reasoning (AR) and Artificial Intelligence (AI). Compared to human experts, today’s main automated reasoning and theorem proving paradigms are severely one-sided: they largely lack the capability to combine learning, reasoning and conjecturing in complex feedback loops. There is solid evidence that such combinations are the key to building the next generation of advanced reasoning systems for mathematics, computer-assisted proof and formal verification. The NextReason project will create one of the world’s strongest teams working on such combinations. We will jointly develop (i) logic-aware learning architectures and neuro-symbolic methods for a range of automated and interactive theorem proving paradigms, (ii) novel AI approaches for learning-guided automated decomposition of hard reasoning problems, (iii) methods for automated formalization of human-written mathematics by combining learning-based t

Read original source ↗ Open in workspace

recordType

award

status

SIGNED

region

EU

value

2499057

unit

EUR