{"total":34,"rows":[{"id":"2308.10620","title":"Large Language Models for Software Engineering: A Systematic Literature Review","created":"2023-08-21","cited_by_count":399,"area":null},{"id":"2406.01297","title":"When Can LLMs Actually Correct Their Own Mistakes? A Critical Survey of Self-Correction of LLMs","created":"2024-06-03","cited_by_count":240,"area":null},{"id":"2405.04760","title":"Large Language Models for Cyber Security: A Systematic Literature Review","created":"2024-05-08","cited_by_count":68,"area":null},{"id":"2310.17807","title":"Clover: Closed-Loop Verifiable Code Generation","created":"2023-10-26","cited_by_count":67,"area":null},{"id":"2310.04870","title":"Lemur: Integrating Large Language Models in Automated Program Verification","created":"2023-10-07","cited_by_count":49,"area":null},{"id":"2307.02192","title":"The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification","created":"2023-07-05","cited_by_count":34,"area":null},{"id":"2402.00891","title":"Large Language Models in Cybersecurity: State-of-the-Art","created":"2024-01-30","cited_by_count":34,"area":null},{"id":"2404.14459","title":"LLMs in Web Development: Evaluating LLM-Generated PHP Code Unveiling Vulnerabilities and Limitations","created":"2024-04-21","cited_by_count":22,"area":null},{"id":"2409.12699","title":"PromSec: Prompt Optimization for Secure Generation of Functional Source Code with Large Language Models (LLMs)","created":"2024-09-19","cited_by_count":19,"area":null},{"id":"2503.09433","title":"CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection","created":"2025-03-12","cited_by_count":10,"area":null},{"id":"2503.10784","title":"Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview","created":"2025-03-13","cited_by_count":7,"area":null},{"id":"2308.13062","title":"ZeroLeak: Using LLMs for Scalable and Cost Effective Side-Channel Patching","created":"2023-08-24","cited_by_count":6,"area":null},{"id":"2412.14841","title":"Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis","created":"2024-12-19","cited_by_count":6,"area":null},{"id":"2310.14211","title":"LUNA: A Model-Based Universal Analysis Framework for Large Language Models","created":"2023-10-22","cited_by_count":4,"area":null},{"id":"2409.00571","title":"Enhancing Source Code Security with LLMs: Demystifying The Challenges and Generating Reliable Repairs","created":"2024-09-01","cited_by_count":4,"area":null},{"id":"2405.08848","title":"Automated Repair of AI Code with Large Language Models and Formal Verification","created":"2024-05-14","cited_by_count":3,"area":null},{"id":"2406.18616","title":"Towards Large Language Model Aided Program Refinement","created":"2024-06-26","cited_by_count":2,"area":null},{"id":"2507.15822","title":"Do AI models help produce verified bug fixes?","created":"2025-07-21","cited_by_count":2,"area":null},{"id":"2312.17353","title":"Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach","created":"2023-12-28","cited_by_count":1,"area":null},{"id":"2504.07027","title":"Using ML filters to help automated vulnerability repairs: when it helps and when it doesn't","created":"2025-04-09","cited_by_count":1,"area":null},{"id":"2505.13766","title":"A Blueprint for AI-Driven Software Quality: Integrating LLMs with Established Standards","created":"2025-05-19","cited_by_count":1,"area":null},{"id":"2505.15088","title":"Leveraging Large Language Models for Command Injection Vulnerability Analysis in Python: An Empirical Study on Popular Open-Source Projects","created":"2025-05-21","cited_by_count":1,"area":null},{"id":"2506.10998","title":"Towards Automated Formal Verification of Backend Systems with LLMs","created":"2025-04-13","cited_by_count":1,"area":null},{"id":"2512.02080","title":"The 4/$\\delta$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee","created":"2025-11-30","cited_by_count":1,"area":null},{"id":"2601.00559","title":"Cracking IoT Security: Can LLMs Outsmart Static Analysis Tools?","created":"2026-01-02","cited_by_count":1,"area":null},{"id":"2605.27051","title":"ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification","created":"2026-05-26","cited_by_count":1,"area":null},{"id":"2308.09376","title":"Leveraging Large Language Models for DRL-Based Anti-Jamming Strategies in Zero Touch Networks","created":"2023-08-18","cited_by_count":0,"area":null},{"id":"2312.05531","title":"KEN: Kernel Extensions using Natural Language","created":"2023-12-09","cited_by_count":0,"area":null},{"id":"2411.07519","title":"TIPS: Threat Actor Informed Prioritization of Applications using SecEncoder","created":"2024-11-12","cited_by_count":0,"area":null},{"id":"2501.12972","title":"Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs","created":"2025-01-22","cited_by_count":0,"area":null},{"id":"2506.14627","title":"Working Document -- Formalising Software Requirements with Large Language Models","created":"2025-06-17","cited_by_count":0,"area":null},{"id":"2509.19153","title":"LLMs as verification oracles for Solidity","created":"2025-09-23","cited_by_count":0,"area":null},{"id":"2602.08422","title":"LLMs + Security = Trouble","created":"2026-02-09","cited_by_count":0,"area":null},{"id":"2607.12723","title":"Bulkhead: Automated Semantic Detection and Remediation of Container Escape Vulnerabilities","created":"2026-07-14","cited_by_count":0,"area":null}],"next_cursor":null}