Not registered as user
Name:Shangqing Liu
Affiliation:Nanyang Technological University
Contributions
2025
ICSE
- Intention is All You Need: Refining Your Code from Your Intention
- SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
- Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications
- Committee Member in Artifact Evaluation within the Artifact Evaluation-track
Using general profile