Skip to content

add Circuit Transformer and Circuit Transformer Rewriting #14

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
snowkylin wants to merge 1 commit into
base: main
Choose a base branch
from
Open

add Circuit Transformer and Circuit Transformer Rewriting #14

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
25 changes: 24 additions & 1 deletion publications/logicSyn.bib
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -115,4 +115,27 @@ @article{10.1145/3560712
journal = {ACM Trans. Des. Autom. Electron. Syst.},
_venue = {TODAES},
month = {mar},
}
}


@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},
}