AIIC AI Intelligence Centre

SOURCE-LINKED INTELLIGENCE

Systematic and computer-aided performance certification for numerical optimization

CORDIS · observation · Publication date unknown

development tools, as well as algorithms with unprecedented working guarantees. The tools will be released as open-source libraries and algorithms validated on key benchmarks that include challenging machine learning and robotic tasks. numerical optimization, complexity analysis

Read original source ↗ Open in workspace

recordType
award
status
SIGNED
region
EU
value
1497650
unit
EUR

Evidence & attribution

European Commission, CORDIS Horizon Europe project dataset. Metadata adapted.

License: CORDIS reuse policy

First collected: 2026-09-20T03:21:21.440Z. This is not the publication date.