Speaker
Augusto Sampaio
Universidade Federal de Pernambuco, Brazil
Talks at this conference:
| Mon, 16:50 | Extracting formal smart-contract specifications from natural language with LLMs |
Speaker
Universidade Federal de Pernambuco, Brazil
| Mon, 16:50 | Extracting formal smart-contract specifications from natural language with LLMs |