File size: 761 Bytes
eea61c9 870c847 eea61c9 870c847 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 |
---
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}
}
```
|