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

Richter, Cedric

  1. Can ChatGPT support software verification?
    2023/11/04 by Janßen, Christian, Richter, Cedric, Wehrheim, Heike · 4 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Software Engineering (cs.SE)