On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M24Amin: Difference between revisions
From WG 2.11
Jump to navigationJump to search
abstract |
(No difference)
|
Latest revision as of 15:32, 25 December 2024
Extrapolating from my old 2020 PL+AI graduate seminar, LLMs are good at:
- Neural-Guided Search
- Semantic Parsing: translating from natural language to formal language.
I showed experiments:
- 0. ChatGPT with formal tools
- 1. VerMCTS
- 2. Dafny-annotator led by Gabriel Poesia at Stanford
- 3. Dafny Sketcher
I am co-chairing GPCE 2025, and we will expand the scope of "generative" programming.
