Li Zhou

$Q|SI\rangle$: A Quantum Programming Environment

2017 · arXiv (Cornell University)

This paper describes a quantum programming environment, named $Q|SI\rangle$. It is a platform embedded in the .Net language that supports quantum programming using a quantum extension of the $\mathbf{while}$-language. The framework of the platform includes …

Relational proofs for quantum programs

2020 · UTS ePRESS (University of Technology Sydney)

© 2020 Copyright held by the owner/author(s). Relational verification of quantum programs has many potential applications in quantum and post-quantum security and other domains. We propose a relational program logic for quantum programs. The interpretation …

Inverse Reinforcement Learning with Natural Language Goals

2020 · arXiv (Cornell University)

Humans generally use natural language to communicate task requirements to each other. Ideally, natural language should also be usable for communicating goals to autonomous machines (e.g., robots) to minimize friction in task specification. However, understanding …

Refinement calculus of quantum programs with projective assertions

2023 · arXiv (Cornell University)

Refinement calculus provides a structured framework for the progressive and modular development of programs, ensuring their correctness throughout the refinement process. This paper introduces a refinement calculus tailored for quantum programs. To this end, we …

Implementation approach of large language model of zero-shot training on collaboration in TCM knowledge reasoning

2025 · Lishizhen Medicine and Materia Medica Research

医疗领域与人工智能的交叉发展得到越来越多的关注和研究。尽管大语言模型（LLMs）在中医药领域取得了一定成果，但因中医药思维的复杂性，LLMs在中医药临床专业知识的推理和方案制定中存在很大挑战。该文就LLMs在中医药领域存在的问题和挑战做出阐述，并立足中医药特点，基于角色代理扮演模拟多学科专家会诊提出零样本训练的多学科专家协作网络模式协作中医药领域LLMs，从而提高LLMs在中医药临床诊疗中的专业知识推理能力，为推动LLMs解决中医药临床问题提供新视角，进一步推动中医药数智化发展。