Hongwei Li

2

Papers

6

Total Citations

Papers (2)

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification

Watch Out for Your Guidance on Generation! Exploring Conditional Backdoor Attacks against Large Language Models