PaperMetrixEvidence-aware discovery
EN
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Louis Mahon

1 paper in the PaperMetrix corpus

Publications

Papers by this author

  1. 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 …