Tutorials

Neuro-Symbolic Natural Language Processing

EMNLP 2025

Andre Freitas, Marco Valentino, Danilo S. Carvalho

Reasoning with Natural Language Explanations

EMNLP 2024

Marco Valentino, Andre Freitas

Website Recording Slides Code

Workshops

MathNLP 2025: The 3rd Workshop on Mathematical Natural Language Processing

EMNLP 2025

Marco Valentino, Deborah Ferreira, Mokanarangan Thayaparan, Leonardo Ranaldi, Andre Freitas

MathNLP 2024: The 2nd Workshop on Mathematical Natural Language Processing

LREC-COLING 2024

Marco Valentino, Deborah Ferreira, Mokanarangan Thayaparan, André Freitas

TextGraphs-17: Graph-based Methods for Natural Language Processing

ACL 2024

Dmitry Ustalov, Yanjun Gao, Alexander Panchenko, Elena Tutubalina, Irina Nikishina, Arti Ramesh, Andrey Sakhovskiy, Ricardo Usbeck, Gerald Penn, Marco Valentino

MathNLP 2022: The 1st Workshop on Mathematical Natural Language Processing

EMNLP 2022

Deborah Ferreira, Marco Valentino, Andre Freitas, Sean Welleck, Moritz Schubotz

TextGraphs-16: Graph-based Methods for Natural Language Processing

COLING 2022

Dmitry Ustalov, Yanjun Gao, Alexander Panchenko, Marco Valentino, Mokanarangan Thayaparan, Thien Huu Nguyen, Gerald Penn, Arti Ramesh, Abhik Jana

Demos & Tools

PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement

ACL 2025

Xin Quan, Marco Valentino, Danilo S Carvalho, Dhairya Dalal, André Freitas

GitHub
Does My Representation Capture X? Probe-Ably

ACL 2021

Marco Valentino, Deborah Ferreira, André Freitas

GitHub

Shared Tasks

SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language Models

SemEval-2026

Marco Valentino, Leonardo Ranaldi, Giulia Pucci, Federico Ranaldi, Andre Freitas

Website
SemEval-2024 Task 2: Safe Biomedical Natural Language Inference

SemEval-2024 @ NAACL 2024

Mael Jullien, Marco Valentino, Andre Freitas

Website Competition Starter Kit
SemEval-2023 Task 7: Multi-Evidence Natural Language Inference for Clinical Trial Data

SemEval-2023 @ ACL 2023

Maël Jullien, Marco Valentino, Hannah Frost, Paul O'Regan, Donal Landers, André Freitas

Website Competition Starter Kit
TextGraphs 2022 Shared Task on Natural Language Premise Selection

TextGraphs-16 @ COLING 2022

Marco Valentino, Deborah Ferreira, Mokanarangan Thayaparan, André Freitas, Dmitry Ustalov

TextGraphs 2021 Shared Task on Multi-Hop Inference for Explanation Regeneration

TextGraphs-15 @ NAACL 2021

Mokanarangan Thayaparan, Marco Valentino, Peter Jansen, Dmitry Ustalov