activity
20232026
most citedNeural Network Verification with Branch-and-Bound for General Nonlinearities

2 citations · 3 across the 8 of their papers we have counts for

collaborators
Showing cs.MAShow all

1 paper · 1 filter

cs.MA2026

ORACLE-SWE: Quantifying the Contribution of Critical Information Signals on SWE Agents

Kenan Li, Qirui Jin, Liao Zhu +13

Recent advances in Language Model (LM) agents have increasingly focused on repository-level software engineering (SWE) tasks, leading to various agentic workflows, training methods…