http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM24Amin 2026-06-12T06:17:15Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M24Amin&diff=2743&oldid=prev 2024-12-25T13:32:26Z

<p>abstract</p> <p><b>New page</b></p><div>Extrapolating from my old [https://pl-ai-seminar.seas.harvard.edu/ 2020 PL+AI graduate seminar],<br /> LLMs are good at:<br /> * Neural-Guided Search<br /> * Semantic Parsing: translating from natural language to formal language.<br /> <br /> I showed experiments:<br /> * 0. [https://metareflection.seas.harvard.edu/openai/ ChatGPT with formal tools]<br /> * 1. [https://github.com/namin/llm-verified-with-monte-carlo-tree-search VerMCTS]<br /> * 2. [https://github.com/metareflection/dafny-annotator Dafny-annotator] led by Gabriel Poesia at Stanford<br /> * 3. [https://github.com/namin/dafny-sketcher Dafny Sketcher]<br /> <br /> I am co-chairing [https://2025.ecoop.org/home/gpce-2025 GPCE 2025], and we will expand the scope of &quot;generative&quot; programming.</div>

Nada