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

Yuxi Ling

  1. KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification
    2026/07/24 by Minghua Wang, Yuxi Ling, Mingzhi Gao +2
    #cs.SE #cs.CR