conftrace_

declarative prompting

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

automated theorem prover (1) large language model (1) automated reasoning (1) constraint solving (1) theorem proving (1)

Papers

SatLM: Satisfiability-Aided Language Models Using Declarative Prompting NeurIPS 2023