Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods.

George Granberry Wolfgang Ahrendt Moa Johansson

Published in: CoRR (2024)

Keyphrases

real time
significant improvement
object recognition
empirical studies
image segmentation
database systems
mobile robot
computational cost
knn
semi supervised
medical images
benchmark datasets
search methods
associative memory