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

George Granberry

  1. Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods
    2024/06/21 by George Granberry, Granberry, George, Wolfgang Ahrendt +3 · 1 voice · 5 citations
    Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Neural Networks and Applications #Software Engineering (cs.SE)