metareflection lab
/
research
OpenAI ChatGPT GPTs
Dafny Assistant
example
Coq Assistant
example
example library search
Z3 Liaison
example
taken from
SatLM
(NeurIPS’23)
Z3 MaxSAT Liaison
example
template to make a ChatGPT GPT action