Patched

AI & ML interests

code LLMs, static analysis, software composition analysis, vulnerability remediation, application security

Recent Activity

codelion  authored a paper 1 day ago

An Empirical Study of Path Feasibility Queries

codelion  authored a paper 2 days ago

The Dynamics of Software Composition Analysis

codelion  authored a paper 2 days ago

End to End Verification and Validation with SPIN

View all activity

Papers

Patched MOA: optimizing inference for diverse software development tasks

Patched RTC: evaluating LLMs for diverse software development tasks

View all Papers

Team members 5