Lucas
C. Cordeiro
Toggle navigation
about
news
blogs
(current)
publications
grants
awards
supervisions
talks
CV
tools
courses
ctrl k
research
an archive of posts in this category
Oct 30, 2026
LLMs propose, verifiers check: our work on LLMs and formal verification