← Search

Jinyao Guo

2 accepted papers

2025

ProSec: Fortifying Code LLMs with Proactive Security Alignment

ICML 2025poster

While recent code-specific large language models (LLMs) have greatly enhanced their code generation capabilities, the safety of these models remains under-explored, posing potential risks as insecure code generated by these models may introduce vulnerabilities into real-world systems. Existing metho…

2025

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing

ICML 2025poster

Code auditing is the process of reviewing code with the aim of identifying bugs. Large Language Models (LLMs) have demonstrated promising capabilities for this task without requiring compilation, while also supporting user-friendly customization. However, auditing a code repository with LLMs poses s…