3 papers
quant-ph2026
Data Verification is the Future of Quantum Computing Copilots
Junhao Song, Ziqian Bi, Xinliang Chia +2
Quantum program generation demands a level of precision that may not be compatible with the statistical reasoning carried out in the inference of large language models (LLMs). Hall…
cs.CR2026
Towards Automating Blockchain Consensus Verification with IsabeLLM
Elliot Jones, William Knottenbelt
Consensus protocols are crucial for a blockchain system as they are what allow agreement between the system's nodes in a potentially adversarial environment. For this reason, it is…
math.DS2025
On the Periodic Orbits of the Dual Logarithmic Derivative Operator
Xiaohang Yu, William Knottenbelt
We study the periodic behaviour of the dual logarithmic derivative operator in a complex analytic setting. We show that $\mathcal{A…