刘彬彬  (讲师)

电子邮箱:

所在单位:计算机科学与技术系

学历:研究生(博士)毕业

学位:工学博士学位

在职信息:在职

毕业院校:中国科学技术大学

   
当前位置: 中文主页 >> 科学研究 >> 论文成果

NeuReduce: Reducing Mixed Boolean-Arithmetic Expressions by Recurrent Neural Network

点击次数:

发表刊物:EMNLP 2020: Findings

是否译文:

上一条: Graph Neural Network for Mathematical Reasoning

下一条: Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions