Towards AI-Assisted Synthesis of Verified Dafny Methods.

Md Rakib Hossain Misu Cristina V. Lopes Iris Ma James Noble

Published in: CoRR (2024)

Keyphrases

significant improvement
machine learning
preprocessing
real time
data sets
information retrieval
learning algorithm
artificial intelligence
computational cost
machine learning algorithms
cross validation
machine learning methods
computationally expensive
methods require