I agree. My goal, which seems very achievable from my current research, is to write formal specifications in English and generate functioning code. One of my f

I agree. My goal, which seems very achievable from my current research, is to write formal specifications in English and generate functioning code. One of my favorite recent projects is called Parsel: Parsel : A (De-)compositional Framework for Algorithmic Reasoning with Language Models https://arxiv.org/abs/2212.10561 https://arxiv.org/abs/2212.10561 Here's a notebook with an introduction: https://github.com/ezelikman/parsel/blob/main/parsel.ipynb https://github.com/ezelikman/parsel/blob/main/parsel.ipynb And here's a GUI interface the author has been developing: http://zelikman.me/parsel/interface.html http://zelikman.me/parsel/interface.html