Fast Exact NPN Classification with Influence-aided Canonical Form

no code implementations • 23 Aug 2023 • Yonghe Zhang, Liwei Ni, Jiaxi Zhang, Guojie Luo, Huawei Li, Shenggen Zheng

NPN classification has many applications in the synthesis and verification of digital circuits.

Classification Negation

Controllable Length Control Neural Encoder-Decoder via Reinforcement Learning

no code implementations • 17 Sep 2019 • Junyi Bian, Baojun Lin, Ke Zhang, Zhaohui Yan, Hong Tang, Yonghe Zhang

Here, we denote a concept of Controllable Length Control (CLC) for the trade-off between length control capacity and semantic accuracy of the language generation model.

Decoder reinforcement-learning +3