Author: "Patrick Lincoln" / Publication Year Range: Last 3 years - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Patrick Lincoln"' showing total 4 results

Start Over Author "Patrick Lincoln" Publication Year Range Last 3 years

4 results on '"Patrick Lincoln"'

1. Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving.

Author: Sumit Kumar Jha 0001, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, and Sandeep Neema
Published: 2023
Full Text: View/download PDF

2. Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting.

Author: Susmit Jha, Sumit Kumar Jha 0001, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, and Sandeep Neema
Published: 2023
Full Text: View/download PDF

3. Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving.

Author: Sumit Kumar Jha 0001, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, and Sandeep Neema
Published: 2023
Full Text: View/download PDF

4. Formal Methods at Scale

Author: William Martin, Patrick Lincoln, and William Scherlis
Subjects: Computer Networks and Communications, Electrical and Electronic Engineering, Law
Published: 2022
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results