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

Yousef Alhessi

  1. Generating Correctness Proofs with Neural Networks
    2019/07/17 by Alex Sanchez-Stern, Yousef Alhessi, Sanchez-Stern, Alex +5 · 2 voices · 6 citations
    #cs.PL