collaborators

1 paper

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…