Patched

AI & ML interests

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

Recent Activity

codelion  authored a paper about 2 months ago

An Empirical Study of Path Feasibility Queries

codelion  authored a paper about 2 months ago

The Dynamics of Software Composition Analysis

codelion  authored a paper about 2 months 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