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

Alhessi, Yousef

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