Neuroforger generates certified violation witnesses for smart contracts by representing specs as Solidity tests with abstract-type variables, using LLMs to instantiate them, and validating via type checking plus execution.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
UMLegend was enhanced with use case diagram exercises and a modular design to support additional modeling notations and SE topics.
citing papers explorer
-
Neuroforger: certified violation witnesses for smart contracts verification via LLMs
Neuroforger generates certified violation witnesses for smart contracts by representing specs as Solidity tests with abstract-type variables, using LLMs to instantiate them, and validating via type checking plus execution.
-
Enhancing a gamified tool for UML modeling education
UMLegend was enhanced with use case diagram exercises and a modular design to support additional modeling notations and SE topics.