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

Bayazıt, Barış

  1. A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
    2025/08/26 by Bayazıt, Barış, Li, Yao, Si, Xujie · 2 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Programming Languages (cs.PL)