Sirui Lu

13 papers A* 1B 1Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Can Theoretical Physics Research Benefit from Language Agents?
CoRR
Sirui Lu, Zhijing Jin, Terry Jingchen Zhang, Pavel Kos, J. Ignacio Cirac, Bernhard Schölkopf
2025 J jnl
Co-Designing Quantum Codes with Transversal Diagonal Gates via Multi-Agent Systems.
CoRR
Xi He, Sirui Lu, Bei Zeng
2025 J jnl
HieraSynth: A Parallel Framework for Complete Super-Optimization with Hierarchical Space Decomposition.
Proc. ACM Program. Lang.
Sirui Lu, Rastislav Bodík
2025 — conf
Review of Research on Artificial Intelligence-Based Carbon Emission Prediction.
MLIC
Weixian Wang, Lu Zhang, Mingyu Pan, Jie Zhuo, Sirui Lu
2025 J jnl
TensorRight: Automated Verification of Tensor Graph Rewrites.
CoRR
Jai Arora, Sirui Lu, Devansh Jain, Tianfan Xu, Farzin Houshmand, Phitchaya Mangpo Phothilimthana, Mohsen Lesani, Praveen Narayanan, Karthik Srinivasa Murthy, Rastislav Bodík, Amit Sabne, Charith Mendis
2025 J jnl
TensorRight: Automated Verification of Tensor Graph Rewrites.
Proc. ACM Program. Lang.
Jai Arora, Sirui Lu, Devansh Jain, Tianfan Xu, Farzin Houshmand, Phitchaya Mangpo Phothilimthana, Mohsen Lesani, Praveen Narayanan, Karthik Srinivasa Murthy, Rastislav Bodík, Amit Sabne, Charith Mendis
2023 J jnl
Grisette: Symbolic Compilation as a Functional Programming Library.
Proc. ACM Program. Lang.
Sirui Lu, Rastislav Bodík
2021 A* conf
Faster Mutation Analysis with Fewer Processes and Smaller Overheads.
ASE
Bo Wang, Sirui Lu, Yingfei Xiong, Feng Liu
2021 J jnl
Quantum Private Distributed Learning Through Blind Quantum Computing.
CoRR
Weikang Li, Sirui Lu, Dong-Ling Deng
2021 J jnl
Tensor networks and efficient descriptions of classical data.
CoRR
Sirui Lu, Márton Kanász-Nagy, Ivan Kukuljan, J. Ignacio Cirac
2020 J jnl
Quantum Adversarial Machine Learning.
CoRR
Sirui Lu, Lu-Ming Duan, Dong-Ling Deng
2017 J jnl
Codes for Simultaneous Transmission of Quantum and Classical Information.
CoRR
Markus Grassl, Sirui Lu, Bei Zeng
2017 B conf
Codes for simultaneous transmission of quantum and classical information.
ISIT
Markus Grassl, Sirui Lu, Bei Zeng