Lifted Reasoning

Lifted Reasoning for Combinatorial Counting (ECAI)
A presentation on my research about Lifted Reasoning for solving Combinatorics Math Word Problems.
Oct 21, 2024 2:45 PM — 3:00 PM Galicia Conference and Exhibition Centre
Slides
Lifted Reasoning for Combinatorial Counting
A presentation on my research about Lifted Reasoning for solving combinatorics math word problems.
Oct 25, 2022 4:30 PM — 5:30 PM Room 01.27
PDF Slides
Solving Combinatorial and Probabilistic Problems in Natural Language
This project aims to build a system capable of solving probabilistic and combinatorial problems from questions formulated in natural language. We are working on a dataset composed of common textbook problems that cover a wide range of situations and structures.
Solving Combinatorial and Probabilistic Problems in Natural Language