The position is in collaboration with Prof. Wouter Boomsma from the University of Copenhagen. As part of this project, we aim to investigate the theoretical and practical foundations of reliable contr...

Bilateral AI is an Austrian Cluster of Excellence developing Broad AI by combining symbolic and sub-symbolic AI. Discover research, news and events.

The search giant’s AI-crafted answers are so convenient, you’ll be sucked in—to the detriment of the web and the artists and thinkers behind it.

Squared tensor networks (TNs) and their extension as computational graphs--squared circuits--have been used as expressive distribution estimators, yet supporting closed-form marginalization. However, ...

The School of Informatics, University of Edinburgh invites applications for a 1-year Post-Doctoral Research Associate (PDRA), to do research on reliable large language agents via neuro-symbolic integr...

The School of Informatics, University of Edinburgh invites applications for a 1-year Post-Doctoral Research Associate (PDRA), to do research on reliable large language agents via neuro-symbolic integr...

In safety-critical applications, guaranteeing the satisfaction of constraints over continuous environments is crucial, e.g., an autonomous agent should never crash over obstacles or go off-road....