Speaker
Andrew Roscoe
University College Oxford, UK
Talks at this conference:
| Mon, 16:50 | Extracting formal smart-contract specifications from natural language with LLMs |
Speaker
University College Oxford, UK
| Mon, 16:50 | Extracting formal smart-contract specifications from natural language with LLMs |