Projects

Displaying results 11 to 13 of 13.

Fast&Slow – Combination of Symbolic and Subsymbolic Methods

Deep learning methods are used in many application areas and work very efficiently after a training phase. However, in general no reliable statement …
ExplAINN – Explainable AI and Neural Networks

Despite astonishing progress in the field of Machine Learning (ML), the robustness of high-performance models, especially the ones based on Deep …
VerSys – A Sound Verification Platform for Early Software Development for RISC-V based Systems

The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set …