BX: An Example-guided Synthesizer for Bidirectional Programs on Relations.

Bach Nguyen Trong Kanae Tsushima Zhenjiang Hu

Published in: J. Inf. Process. (2024)

Keyphrases

semantic relations
information retrieval
control structures
data sets
learning environment
answer sets
computer programs