Louis Mahon

The Proof is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes

2022 · arXiv (Cornell University)

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 the ingredients and instructions, with ingredients corresponding to axioms and …