Adaptive Plan-Execute Framework for Smart Contract Security Auditing

21 May 2025

Papers citing "Adaptive Plan-Execute Framework for Smart Contract Security Auditing"

31 / 31 papers shown

Title
Measuring short-form factuality in large language models Jason W. Wei Nguyen Karina Hyung Won Chung Yunxin Joy Jiao Spencer Papay Amelia Glaese John Schulman W. Fedus ELM KELM HILM 53 63 0 07 Nov 2024
Denial-of-Service Poisoning Attacks against Large Language Models Kuofeng Gao Tianyu Pang Chao Du Yong Yang Shu-Tao Xia Min Lin SILM AAML 76 42 0 14 Oct 2024
GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models Iman Mirzadeh Keivan Alizadeh Hooman Shahrokhi Oncel Tuzel Samy Bengio Mehrdad Farajtabar AIMat LRM 68 151 0 07 Oct 2024
Evaluation of OpenAI o1: Opportunities and Challenges of AGI Tianyang Zhong Zhengliang Liu Yi Pan Yutong Zhang Yifan Zhou ... Dinggang Shen Andrea Sikora Xiaoming Zhai Dajiang Zhu Tianming Liu ReLM LRM AI4CE ELM VLM 51 88 0 27 Sep 2024
IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities Ziyang Li Saikat Dutta Mayur Naik 66 47 0 27 May 2024
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation Ye Liu Yue Xue Daoyuan Wu Yuqiang Sun Yi Li Miaolei Shi Yang Liu 56 25 0 04 May 2024
AuditGPT: Auditing Smart Contracts with ChatGPT Shihao Xia Shuai Shao Mengting He Tingting Yu Linhai Song Yiying Zhang 18 9 0 05 Apr 2024
Data Interpreter: An LLM Agent For Data Science Sirui Hong Yizhang Lin Bang Liu Bangbang Liu Binhao Wu ... Xinbing Liang Yaying Fei Yuheng Cheng Zongze Xu Chenglin Wu LLMAG AI4CE 81 68 0 28 Feb 2024
Chain-of-Thought Reasoning Without Prompting Xuezhi Wang Denny Zhou ReLM LRM 177 112 0 15 Feb 2024
LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning Yuqiang Sun Daoyuan Wu Yue Xue Han Liu Wei Ma Lyuye Zhang Miaolei Shi Yingjiu Li ELM 97 50 0 29 Jan 2024
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities Avishree Khare Saikat Dutta Ziyang Li Alaia Solko-Breslin Rajeev Alur Mayur Naik ELM 60 42 0 16 Nov 2023
Exploring ChatGPT's Capabilities on Vulnerability Management Peiyu Liu Junming Liu Lirong Fu Kangjie Lu Yifan Xia Xuhong Zhang Wenzhi Chen Haiqin Weng Shouling Ji Wenhai Wang 39 17 0 11 Nov 2023
Black-Box Prompt Optimization: Aligning Large Language Models without Model Training Jiale Cheng Xiao Liu Kehan Zheng Pei Ke Hongning Wang Yuxiao Dong Jie Tang Minlie Huang 33 82 0 07 Nov 2023
Survey on Quality Assurance of Smart Contracts Zhiyuan Wei Jing Sun Zijian Zhang Xianhao Zhang Xiaoxuan Yang Liehuang Zhu 43 7 0 01 Nov 2023
Ragas: Automated Evaluation of Retrieval Augmented Generation ES Shahul Jithin James Luis Espinosa-Anke Steven Schockaert 98 186 0 26 Sep 2023
A Survey on Large Language Model based Autonomous Agents Lei Wang Chengbang Ma Xueyang Feng Zeyu Zhang Hao-ran Yang ... Xu Chen Yankai Lin Wayne Xin Zhao Zhewei Wei Ji-Rong Wen LLMAG AI4CE LM&Ro 50 1,188 0 22 Aug 2023
Graph of Thoughts: Solving Elaborate Problems with Large Language Models Maciej Besta Nils Blach Aleš Kubíček Robert Gerstenberger Michal Podstawski ... Joanna Gajda Tomasz Lehmann H. Niewiadomski Piotr Nyczyk Torsten Hoefler LRM AI4CE LM&Ro 65 640 0 18 Aug 2023
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis Yuqiang Sun Daoyuan Wu Yue Xue Hangbo Liu Haijun Wang Zhengzi Xu Xiaofei Xie Yang Liu 30 87 0 07 Aug 2023
Do you still need a manual smart contract audit? Isaac David Liyi Zhou Kaihua Qin D. Song Lorenzo Cavallaro Arthur Gervais 53 49 0 21 Jun 2023
Tree of Thoughts: Deliberate Problem Solving with Large Language Models Shunyu Yao Dian Yu Jeffrey Zhao Izhak Shafran Thomas Griffiths Yuan Cao Karthik Narasimhan LM&Ro LRM AI4CE 64 1,850 0 17 May 2023
Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation Jiawei Liu Chun Xia Yuyao Wang Lingming Zhang ELM ALM 197 859 0 02 May 2023
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? Stefanos Chaliasos Marcos Antonios Charalambous Liyi Zhou R. Galanopoulou Arthur Gervais Dimitris Mitropoulos B. Livshits 41 42 0 06 Apr 2023
DiverseVul: A New Vulnerable Source Code Dataset for Deep Learning Based Vulnerability Detection Yizheng Chen Zhoujie Ding Lamya Alowain Xinyun Chen David Wagner AAML 42 137 0 01 Apr 2023
CAMEL: Communicative Agents for "Mind" Exploration of Large Language Model Society Ge Li Hasan Hammoud Hani Itani Dmitrii Khizbullin Guohao Li SyDa ALM 70 454 0 31 Mar 2023
HuggingGPT: Solving AI Tasks with ChatGPT and its Friends in Hugging Face Yongliang Shen Kaitao Song Xu Tan Dongsheng Li Weiming Lu Yueting Zhuang MLLM 55 863 0 30 Mar 2023
G-Eval: NLG Evaluation using GPT-4 with Better Human Alignment Yang Liu Dan Iter Yichong Xu Shuohang Wang Ruochen Xu Chenguang Zhu ELM ALM LM&MA 137 1,138 0 29 Mar 2023
GPTScore: Evaluate as You Desire Jinlan Fu See-Kiong Ng Zhengbao Jiang Pengfei Liu LM&MA ALM ELM 34 275 0 08 Feb 2023
Large Language Models are Better Reasoners with Self-Verification Yixuan Weng Minjun Zhu Fei Xia Bin Li Shizhu He Shengping Liu Bin Sun Kang Liu Jun Zhao ReLM LRM 40 204 0 19 Dec 2022
Large Language Models Are Human-Level Prompt Engineers Yongchao Zhou Andrei Ioan Muresanu Ziwen Han Keiran Paster Silviu Pitis Harris Chan Jimmy Ba ALM LLMAG 47 860 0 03 Nov 2022
Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks Nils Reimers Iryna Gurevych 287 11,979 0 27 Aug 2019
Attention Is All You Need Ashish Vaswani Noam M. Shazeer Niki Parmar Jakob Uszkoreit Llion Jones Aidan Gomez Lukasz Kaiser Illia Polosukhin 3DV 216 129,831 0 12 Jun 2017