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

Jek Huang

  1. Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control
    2026/07/16 by Jek Huang, Jeffery Hsia, Jiayi Sun +3
    #cs.AI #cs.SE