diff --git a/publications/logicSyn.bib b/publications/logicSyn.bib index 33cb3c2..b21f2bc 100644 --- a/publications/logicSyn.bib +++ b/publications/logicSyn.bib @@ -115,4 +115,27 @@ @article{10.1145/3560712 journal = {ACM Trans. Des. Autom. Electron. Syst.}, _venue = {TODAES}, month = {mar}, -} \ No newline at end of file +} + + +@inproceedings{ICLR25_circuit_transformer, + title={Circuit Transformer: A Transformer That Preserves Logical Equivalence}, + author={Li, Xihan and Li, Xing and Chen, Lei and Zhang, Xing and Yuan, Mingxuan and Wang, Jun}, + booktitle={The Thirteenth International Conference on Learning Representations}, + _venue={ICLR}, + year={2025}, + topic = {Generative Approach}, + url = {https://openreview.net/forum?id=kpnW12Lm9p}, + code_url = {https://github.com/snowkylin/circuit-transformer}, +} + +@inproceedings{IWLS24_ctrw, + title={Logic Synthesis with Generative Deep Neural Networks}, + author={Li, Xihan and Li, Xing and Chen, Lei and Zhang, Xing and Yuan, Mingxuan and Wang, Jun}, + booktitle={Proceedings of the 33rd International Workshop on Logic & Synthesis}, + _venue={IWLS}, + year={2024}, + topic = {Generative Approach}, + url = {https://arxiv.org/pdf/2406.04699}, +} +