Sanjiang Li

最新发表

Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li, Hakop Pashayan (2025). On the Trainability and Classical Simulability of Learning Matrix Product States Variationally. Proceedings of the AAAI Conference on Artificial Intelligence.

引用 DOI URL

Sanjiang Li, Xiangzhen Zhou, Yuan Feng (2024). Benchmarking Quantum Circuit Transformation with QKNOB Circuits.

引用 arXiv URL

Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Mingsheng Ying (2024). Equivalence Checking of Parameterised Quantum Circuits.

引用 arXiv URL

Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li (2023). Alternating Layered Variational Quantum Circuits Can Be Classically Optimized Efficiently Using Classical Shadows. Proceedings of the AAAI Conference on Artificial Intelligence.

引用 DOI URL

Yuan Feng, Sanjiang Li (2023). Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs. Information and Computation.

引用 DOI URL

Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li (2023). Ansatz-Agnostic Exponential Resource Saving in Variational Quantum Algorithms Using Shallow Shadows.

引用 arXiv URL

Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Chia-Shun Yeh, Mingsheng Ying (2023). Decision Diagrams for Symbolic Verification of Quantum Circuits. 2023 IEEE International Conference on Quantum Computing and Engineering (QCE).

引用 DOI

Sanjiang Li, Ky Dan Nguyen, Zachary Clare, Yuan Feng (2023). Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping. 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD).

引用 DOI

Xiangzhen Zhou, Yuan Feng, Sanjiang Li (2023). Supervised Learning Enhanced Quantum Circuit Transformation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

引用 DOI

Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, Mingsheng Ying (2022). A Tensor Network based Decision Diagram for Representation of Quantum Circuits. ACM Trans. Des. Autom. Electron. Syst..

引用 DOI URL

Xiangzhen Zhou, Yuan Feng, Sanjiang Li (2022). Quantum Circuit Transformation: A Monte Carlo Tree Search Framework. ACM Trans. Des. Autom. Electron. Syst..

引用 DOI URL

Yuan Feng, Sanjiang Li, Mingsheng Ying (2022). Verification of Distributed Quantum Programs. ACM Trans. Comput. Logic.

引用 DOI URL

Xin Hong, Yuan Feng, Sanjiang Li, Mingsheng Ying (2022). Equivalence Checking of Dynamic Quantum Circuits. Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design.

引用 DOI URL

Sanjiang Li, Xiangzhen Zhou, Yuan Feng (2021). Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search. IEEE Transactions on Computers.

引用 DOI

Xiangzhen Zhou, Yuan Feng, Sanjiang Li (2020). A monte carlo tree search framework for quantum circuit transformation. Proceedings of the 39th International Conference on Computer-Aided Design.

引用 DOI URL

Xiangzhen Zhou, Sanjiang Li, Yuan Feng (2020). Quantum Circuit Transformation Based on Simulated Annealing and Heuristic Search. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

引用 DOI

Weiming Liu, Xiaotong Zhang, Sanjiang Li, Mingsheng Ying (2010). Reasoning about cardinal directions between extended objects. Artificial Intelligence.

引用 DOI URL

Sanjiang Li, Mingsheng Ying (2008). Soft constraint abstraction based on semiring homomorphism. Theoretical Computer Science.

引用 DOI URL

Sanjiang Li, Mingsheng Ying, Yongming Li (2005). On countable RCC models. Fundamenta Informaticae.

引用 DOI URL

Yongming Li, Sanjiang Li, Mingsheng Ying (2005). Relational reasoning in the region connection calculus.

引用 arXiv URL

Sanjiang Li, Mingsheng Ying (2004). Abstracting Soft Constraints: An Improvement.

引用 URL

Sanjiang Li, Mingsheng Ying (2004). Generalized Region Connection Calculus. Artificial Intelligence.

引用 DOI URL

Sanjiang Li, Mingsheng Ying (2003). Extensionality of the RCC8 Composition Table. Fundamenta Informaticae.

引用 DOI URL

Sanjiang Li, Mingsheng Ying (2003). Region Connection Calculus: Its models and composition table. Artificial Intelligence.

引用 DOI URL