Kun Mao
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAT | PALSAT: Deep Cooperation of Unit Propagation and Local Search in Incomplete SAT Solving. | Mingming Jin, Zhijie Kuang, Jiongzhi Zheng, Kun Mao, Kun He |
| 2023 | ACL | LaTeX2Solver: a Hierarchical Semantic Parsing of LaTeX Document into Code for an Assistive Optimization Modeling Application. | Rindra Ramamonjison, Timothy T. L. Yu, Linzi Xing, Mahdi Mostajabdaveh, Xiaorui Li, Xiaojin Fu, Xiongwei Han, Yuanzhe Chen, Ren Li, Kun Mao, Yong Zhang |