TY  - RPRT
TI  - FOLLIE: Automated Reasoning over the First Dataset of Sentences with their First-Order Logical Representation for French
AU  - Maximos Skandalis
PY  - 2026
UR  - https://arxiv.org/abs/2611.02129
ID  - 2611.02129
ER  -