Reproduce “Towards Secure and Explainable Smart Contract Generation with Security-Aware Group Relative Policy Optimization” on OpenResearch
Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.
Universal app for Apple silicon and Intel. Requires macOS 11 or later.
About this paper
Lei Yu, Jingyuan Zhang, Xin Wang, Jiajia Ma, Li Yang, Fengjun Zhang
SmartCoder-R1 trains Solidity generation to produce stepwise security reasoning with code, then refines its policy using compilation, security, and format feedback. On 756 functions from 289 contracts, its FullRate—the share that were compilable, secure, and functionally correct—was 50.53%, versus 34.66% for DeepSeek-R1. Security assessment used Slither and expert review of 100 snippets, not proof.
Summary by alphaXiv.
Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.