刘彬彬

讲师

个人信息

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

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

性别：男

学位：工学博士学位

在职信息：在职

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

VIEW MORE

中文主页 > 科学研究 > 论文成果

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

发布时间：2023-05-08 点击次数：
发表刊物：EMNLP 2020: Findings
是否译文：否
上一条：Graph Neural Network for Mathematical Reasoning
下一条：Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions

联系我们：安徽省合肥市屯溪路193号(230009)  邮编：230009
Copyright © 2019 合肥工业大学    
皖公网安备 34011102000080号 皖ICP备05018251号-1 合肥工业大学

总访问量： 本月访问： 今日访问量： 最后更新时间：--