1 citations · 2 across the 8 of their papers we have counts for
1 paper · 1 filter
Jingyu Ke, Ling-I Wu, Guoqiang Li
Agentic verification systems can often generate source-level specifications that look plausible, but plausibility is not enough: the verifier must still turn those specifications i…