Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Decompiling Quantum Assembly into Structured Programs
Pingchuan Ma, Zhantong Xue, Zongjie Li +6
Quantum compilers translate programs into native gates, insert SWAP gates to route interactions onto a device, and optimize the result. The output is quantum assembly, a flat gate…
cs.PL2026
Well-Typed ComfyUI Cannot Go Wrong: Gradual Refinement Types for Generative-AI Workflow Graphs
Pingchuan Ma, Zhantong Xue, Hui Li +4
Generative-AI workflows are programs assembled from independently developed models and operators. Their correctness depends on relationships among model families, tensor geometry,…