Mattia Medina Grespan

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 3

Top Topics

Logic Programming

Automated Reasoning

Logical Framework

Top Venues

Publications

Mattia Medina Grespan, Meghan Broadbent, Xinyao Zhang, Katherine Axford, Brent Kious, Zac E. Imel, Vivek Srikumar
Logic-driven Indirect Supervision: An Application to Crisis Counseling. ACL (1) (2023)
Mattia Medina Grespan, Ashim Gupta, Vivek Srikumar
Evaluating Relaxations of Logic for Neural Networks: A Comprehensive Study. CoRR (2021)
Mattia Medina Grespan, Ashim Gupta, Vivek Srikumar
Evaluating Relaxations of Logic for Neural Networks: A Comprehensive Study. IJCAI (2021)
Sébastien Konieczny, Mattia Medina Grespan, Ramón Pino Pérez
Taxonomy of Improvement Operators and the Problem of Minimal Change. KR (2010)