LEARN: Learning Efficient Automated Reasoning on the Net

01.04.2025 - 30.09.2026
Research funding project

People

Project leader

Subproject managers

Institute

Grant funds

  • European Commission (EU) ERC Proof of Concept ERC European Research Council HORIZON I - Excellent Science Frameworkprogramme HORIZON EUROPE European Commission Call identifier ERC-2024-POC

Research focus

  • Computer Science Foundations: 100%

Publications