Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection

Ruyi Ji, Chaozhe Kong, Yingfei Xiong^*, Zhenjiang Hu

OOPSLA'23: Object-Oriented Programming, Systems, Languages and Applications · October 2023

Read paper View BibTeX

BibTeX

@inproceedings{OOPSLA23a,
  author = {Ruyi Ji and Chaozhe Kong and Yingfei Xiong and Zhenjiang Hu},
  title = {Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection},
  year = {2023},
  month = {10},
  booktitle = {OOPSLA'23: Object-Oriented Programming, Systems, Languages and Applications},
  site_corr = {3}
}