A newer version of the Gradio SDK is available:
5.22.0
metadata
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"
@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}
}