| title: Circuit Transformer Demo | |
| emoji: 🚀 | |
| colorFrom: indigo | |
| colorTo: purple | |
| sdk: gradio | |
| sdk_version: 5.20.0 | |
| app_file: app.py | |
| pinned: false | |
| license: mit | |
| short_description: Circuit Transformer for Size Minimization of Logic Circuits | |
| This is a demo of the ICLR 2025 paper ["Circuit Transformer: A Transformer That Preserves Logical Equivalence"](https://arxiv.org/abs/2403.13838) | |
| ``` | |
| @inproceedings{li2025circuit, | |
| title={Circuit Transformer: A Transformer That Preserves Logical Equivalence}, | |
| author={Xihan Li and Xing Li and Lei Chen and Xing Zhang and Mingxuan Yuan and Jun Wang}, | |
| booktitle={The Thirteenth International Conference on Learning Representations}, | |
| year={2025}, | |
| url={https://openreview.net/forum?id=kpnW12Lm9p} | |
| } | |
| ``` | |