Property-Directed Verification of Recurrent Neural Networks

no code implementations • 22 Sep 2020 • Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye

This paper presents a property-directed approach to verifying recurrent neural networks (RNNs).

Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise

no code implementations • 21 Sep 2022 • Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy

Angluin's L* algorithm learns the minimal (complete) deterministic finite automaton (DFA) of a regular language using membership and equivalence queries.

Classification PAC learning

Natural Language Processing for Cognitive Analysis of Emotions

no code implementations • 11 Oct 2022 • Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye

Emotion analysis in texts suffers from two major limitations: annotated gold-standard corpora are mostly small and homogeneous, and emotion identification is often simplified as a sentence-level classification problem.

Emotion Recognition Management +1

Emotion Recognition based on Psychological Components in Guided Narratives for Emotion Regulation

no code implementations • 15 May 2023 • Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye

Emotion regulation is a crucial element in dealing with emotional events and has positive effects on mental health.

Emotion Classification Emotion Recognition