Tech Talk with Eduardo Calò: at the crossroads between Logic Language and Generation

Logical formulae (LFs) are pivotal in many scientific fields, such as Artificial Intelligence and Linguistics. Grasping the meaning of LFs is thus crucial for many scholars, yet sometimes even experienced logicians might need help deciphering a complex LF. We can employ natural language generation (NLG) techniques to address this issue. In particular, logic-to-text generation aims to simplify LFs and translate them into clear and understandable natural language text.
In this tech talk, Eduardo introduced this underrepresented area of NLG and illustrate its key challenges. Specifically, he focused on the issues that arise when dealing with such a type of input (e.g., is the shortest LF the best input?) and how to address the evaluation of the generated texts (e.g., what are the appropriate evaluation dimensions to consider?).
He presented the results of his recent research and offer an interactive demo to the Pi School audience.