Towards AI-Assisted Synthesis of Verified Dafny Methods.

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

Published in: Proc. ACM Softw. Eng. (2024)

Keyphrases

machine learning
database
data mining
empirical studies
genetic algorithm
similarity measure
multiscale
preprocessing
expert systems
computational cost
machine learning methods
search methods
optimization methods
lecture notes in artificial intelligence