3 papers
cs.CL2022
The Proof is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes
Louis Mahon, Carl Vogel
This paper presents FASTFOOD, a rule-based Natural Language Generation Program for cooking recipes. Recipes are generated by using an Automated Theorem Proving procedure to select…
cs.LG2021
Selective Pseudo-label Clustering
Louis Mahon, Thomas Lukasiewicz
Deep neural networks (DNNs) offer a means of addressing the challenging task of clustering high-dimensional data. DNNs can extract useful features, and so produce a lower dimension…
cs.CL2020
Knowledge Graph Extraction from Videos
Louis Mahon, Eleonora Giunchiglia, Bowen Li +1
Nearly all existing techniques for automated video annotation (or captioning) describe videos using natural language sentences. However, this has several shortcomings: (i) it is ve…