2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LG2023
Fast Exact NPN Classification with Influence-aided Canonical Form
Yonghe Zhang, Liwei Ni, Jiaxi Zhang +3
NPN classification has many applications in the synthesis and verification of digital circuits. The canonical-form-based method is the most common approach, designing a canonical f…
cs.CL2019★ 2 cited
Controllable Length Control Neural Encoder-Decoder via Reinforcement Learning
Junyi Bian, Baojun Lin, Ke Zhang +3
Controlling output length in neural language generation is valuable in many scenarios, especially for the tasks that have length constraints. A model with stronger length control c…