1 citations · 1 across the 7 of their papers we have counts for
1 paper · 2 filters
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…