blogs
Posts on our research, newest first.
LLMs propose, verifiers check: our work on LLMs and formal verification
How our group has combined LLMs with model checking, SMT solving and theorem proving since 2023 and where we think the open problems are.