Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection

OOPSLA'23: Object-Oriented Programming, Systems, Languages and Applications · 2023年10月

阅读全文查看 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}
}