3 papers
cs.FL2026
A Probabilistic Model-Checking Framework for Cognitive Assessment and Training
Elisabetta De Maria, Christopher Leturc
Serious games have proven to be effective tools for screening cognitive impairments and supporting diagnosis in patients with neurodegenerative diseases like Alzheimer's and Parkin…
cs.CL2025
Large Language Model Meets Constraint Propagation
Alexandre Bonlarron, Florian Régin, Elisabetta De Maria +1
Large Language Models (LLMs) excel at generating fluent text but struggle to enforce external constraints because they generate tokens sequentially without explicit control mechani…
cs.CL2024
Combining Constraint Programming Reasoning with Large Language Model Predictions
Florian Régin, Elisabetta De Maria, Alexandre Bonlarron
Constraint Programming (CP) and Machine Learning (ML) face challenges in text generation due to CP's struggle with implementing "meaning'' and ML's difficulty with structural const…