Search papers, labs, and topics across Lattice.
School of Computer Science and Technology (School of Artificial Intelligence), China University of Mining and Technology
2
0
1
Supervised fine-tuning with domain-specific data can drastically enhance the reliability of LLM-generated Solidity smart contracts, outperforming general-purpose models.
MASTOR generates 10,022 semantic test oracles, achieving a 75.4% mutation score and outperforming traditional methods by over 30 percentage points.
