← back to paper
arxiv: 2605.13929 · 2 revisions
Linear-Time T-Gate Optimization via Random Abstraction