vix.ing · top · new · best · stats · spec

Yuheng Tang

  1. PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification
    2025/02/04 by Hongwei Li, Li, Hongwei, Yuheng Tang +5 · 11 citations
    Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Modular Robots and Swarm Intelligence #Peer-to-Peer Network Technologies #Robotics (cs.RO)