README.md

---
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}
}
```