Speaker
Pedro Antonino
The Blockhouse Technology Limited, UK
Talks at this conference:
| Mon, 16:50 | Extracting formal smart-contract specifications from natural language with LLMs |
Speaker
The Blockhouse Technology Limited, UK
| Mon, 16:50 | Extracting formal smart-contract specifications from natural language with LLMs |