5 citations · 5 across the 1 of their papers we have counts for
3 papers
quant-ph2026
TensorCircuit-NG: A Universal, Composable, and Scalable Platform for Quantum Computing and Quantum Simulation
Shi-Xin Zhang, Yu-Qin Chen, Weitang Li +22
We present TensorCircuit-NG, a next-generation quantum software platform designed to bridge the gap between quantum physics, artificial intelligence, and high-performance computing…
cs.PL2024★ 5 cited
Verified Code Transpilation with LLMs
Sahil Bhatia, Jie Qiu, Niranjan Hasabnis +2
Domain-specific languages (DSLs) are integral to various software workflows. Such languages offer domain-specific optimizations and abstractions that improve code readability and m…
cs.PL2024
Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)
Jie Qiu, Colin Cai, Sahil Bhatia +3
Tensor processing infrastructures such as deep learning frameworks and specialized hardware accelerators have revolutionized how computationally intensive code from domains such as…