Search Results for author:
Found 4 papers, 0 papers with code
Laurel: Generating Dafny Assertions Using Large Language Models
Dafny is a popular verification language, which automates proofs by outsourcing them to an SMT solver.
HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
Many structured prediction and reasoning tasks can be framed as program synthesis problems, where the goal is to generate a program in a domain-specific language (DSL) that transforms input data into the desired output.
Solving Data-centric Tasks using Large Language Models
Large language models (LLMs) are rapidly replacing help forums like StackOverflow, and are especially helpful for non-professional programmers and end users.
Constraint-based Learning of Phonological Processes
Phonological processes are context-dependent sound changes in natural languages.
