Poster · Paris

End-to-End Verification of Neuro-symbolic Automata via Contrastive Logit-Gaps

Name: End-to-End Verification of Neuro-symbolic Automata via Contrastive Logit-Gaps
Start: 2026-12-11T14:30:00+01:00
End: 2026-12-11T16:30:00+01:00
Location: Paris Poster Hall, Paris

When: Fri 11 Dec 2026, 14:30–16:30 CET
Where: Paris Poster Hall
Session: Paris Poster Session 6
Authors: Abdelrahman Hekal, Vasileios Manginas, Nikolaos Manginas, Alessio Lomuscio
Organisations: Refractral, National Centre For Scientific Research Demokritos, NCSR Demokritos, Imperial College London

Open in schedule Official page