1 code implementation • 5 Feb 2024 • Jasper Dekoninck, Mark Niklas Müller, Maximilian Baader, Marc Fischer, Martin Vechev
Large language models are widespread, with their performance on benchmarks frequently guiding user preferences for one model over another.
1 code implementation • 24 Nov 2023 • Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin Vechev
In addition, the framework allows for more precise control of generated text than direct prompting and prior controlled text generation (CTG) techniques.