13 citations · 31 across the 10 of their papers we have counts for
1 paper · 2 filters
Massimo Bartoletti, Enrico Lipparini
Recent large language models (LLMs) incorporate reasoning capabilities that allow them to perform well in predicting whether a smart contract respects a certain property, suggestin…