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

The Proof is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes Louis Mahon author Carl Vogel author 2023-05 text Journal for Language Technology and Computational Linguistics, Vol. 36 No. 2 Christian Wartena editor German Society for Computational Lingustics and Language Technology unknown conference publication mahon-vogel-2023-proof 10.21248/jlcl.36.2023.233 https://aclanthology.org/2023.jlcl-2.2/ 2023-05 29 85