no code implementations • 18 Mar 2024 • Xufeng Yao, Haoyang Li, Tsz Ho Chan, Wenyi Xiao, Mingxuan Yuan, Yu Huang, Lei Chen, Bei Yu
In the domain of chip design, Hardware Description Languages (HDLs) play a pivotal role.
no code implementations • 6 Mar 2024 • Tsz Ho Chan, Wenyi Xiao, Junhua Huang, HuiLing Zhen, Guangji Tian, Mingxuan Yuan
Boolean Satisfiability problems are vital components in Electronic Design Automation, particularly within the Logic Equivalence Checking process.
1 code implementation • 19 Oct 2023 • Cheng Jiayang, Lin Qiu, Tsz Ho Chan, Tianqing Fang, Weiqi Wang, Chunkit Chan, Dongyu Ru, Qipeng Guo, Hongming Zhang, Yangqiu Song, Yue Zhang, Zheng Zhang
Analogy-making between narratives is crucial for human reasoning.
1 code implementation • 15 Sep 2023 • Chunkit Chan, Xin Liu, Tsz Ho Chan, Jiayang Cheng, Yangqiu Song, Ginny Wong, Simon See
However, the inter-sentential coherence and the model consistency have not been well exploited in the previous works on this task.