3 papers
cs.HC2025
Advancing Mathematical Research via Human-AI Interactive Theorem Proving
Chenyi Li, Zhijian Lai, Dong An +2
We investigate how large language models can be used as research tools in scientific computing while preserving mathematical rigor. We propose a human-in-the-loop workflow for inte…
quant-ph2025
Extended parameter shift rules with minimal derivative variance for parameterized quantum circuits
Zhijian Lai, Jiang Hu, Dong An +1
Parameter shift rules (PSRs) are useful methods for computing arbitrary-order derivatives of the cost function in parameterized quantum circuits. The basic idea of PSRs is to evalu…
quant-ph2025
Interpolation-based coordinate descent method for parameterized quantum circuits
Zhijian Lai, Jiang Hu, Taehee Ko +2
Parameterized quantum circuits (PQCs) are ubiquitous in the design of hybrid quantum-classical algorithms. In this work, we propose an interpolation-based coordinate descent (ICD)…