16 citations · 28 across the 6 of their papers we have counts for
3 papers · 1 filter
DPNL: A DPLL-based Algorithm for Probabilistic Neurosymbolic Learning
Thomas Jean-Michel Valentin, Pierre Genev{è}s, Luisa Sophie Werner +3
Probabilistic Neurosymbolic Learning (PNL) combines neural predictions with symbolic reasoning, enabling end-to-end learning from final-output supervision without labels for interm…
Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
Richard Casetta, Nils Gesbert, Pierre Genevès
Modern web applications combine persistent state updates, concurrent interactions, and unreliable communication with external services. Failures such as timeouts can occur after pa…
Optimizing Relational Queries over Array-Valued Data in Columnar Systems
Maroua Zeblah, Etienne Couritas, Sarah Chlyah +3
Modern analytical workloads increasingly combine relational data with array-valued attributes. While columnar database systems efficiently process such workloads, their ability to…