Matthias könig PhD at Leiden University Abstract: This project seeks to advance the state of the art in formal neural network verification. Formal neural network verification methods check whether a trained neural network, for example an image classifier, satisfies certain properties or guarantees regarding its behaviour, such as correctness, robustness, or safety, under various inputs …
Branislav Pecher PhD at Kempelen Institute of Intelligent Technologies, member of Slovak.AI Abstract: Learning with limited labelled data, such as meta-learning, transfer learning or in-context learning, aims to effectively train a model using only a small amount of labelled samples. However, there is still limited understanding of the required settings or characteristics for these approaches …
On May 25th, 2023 TAILOR made its contribution to the event Beyond ChatGPT: How can Europe get in front of the pack on Generative AI Models?, organised by a broad consortium of European projects and Institutions: the HumanE-AI-Net European Network of Centres of Excellence in Artificial Intelligence, the International Research Centre on Artificial Intelligence (IRCAI) under the …
The IJCAI-23 Award for Research Excellence, the John McCarthy Award and the Computers and Thought Award are awarded by the IJCAI Board of Trustees, upon recommendation by the IJCAI-23 Awards Selection Committee. The Research Excellence award is given to a scientist who has carried out a program of research of consistently high quality throughout an …
IJCAI-23 Awards for Research Excellence to prof. Sarit Kraus Read More »
