111 citations · 136 across the 13 of their papers we have counts for
1 paper · 2 filters
Luca Beurer-Kellner, Marc Fischer, Martin Vechev
Large language models have demonstrated outstanding performance on a wide range of tasks such as question answering and code generation. On a high level, given an input, a language…