Author

Binjie Guo

h-index 5 View on Semantic Scholar

We have 1 of 15 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

The Order Is the Guarantee: Verifier-Budgeted Code Deletion with Static-First Learned Proposals

The result is an auditable division of labor: models widen the search for removable code, order bounds the damage a mis-ranked proposal can do, and execution retains authority over every committed deletion.

Ruitong Li, Binjie Guo, Aisheng Mo et al. · 0 citations