15 citations · 86 across the 34 of their papers we have counts for
4 papers · 1 filter
Self-Refining Prompt Induction for Streaming Text-to-SQL
Gaetano Rossiello, Alfio Gliozzo, Nandana Mihindukulasooriya +3
Text-to-SQL assistants for streaming engines must handle dialect-specific types, windowing rules, and temporal semantics, including constructs poorly handled by generic prompts. We…
SmartEval: A Benchmark for Evaluating LLM-Generated Smart Contracts from Natural Language Specifications
Abhinav Goel, Agostino Capponi, Alfio Gliozzo +1
We introduce SmartEval, a benchmark for systematically evaluating the quality of Solidity smart contracts generated by large language models (LLMs) from natural language specificat…
Agentics 2.0: Logical Transduction Algebra for Agentic Data Workflows
Alfio Massimiliano Gliozzo, Junkyu Lee, Nahuel Defosse
Agentic AI is rapidly transitioning from research prototypes to enterprise deployments, where requirements extend to meet the software quality attributes of reliability, scalabilit…
An end-to-end agentic pipeline for smart contract translation and quality evaluation
Abhinav Goel, Chaitya Shah, Agostino Capponi +1
We present an end-to-end framework for systematic evaluation of LLM-generated smart contracts from natural-language specifications. The system parses contractual text into structur…