Search Results
CoqQ: Foundational Verification of Quantum Programs
CoqQ is a framework for reasoning about quantum programs in the Coq proof assistant.
Programming Languages
CNM: An Interpretable Complex-valued Network for Matching
This paper seeks to model human language by the mathematical framework of quantum physics.
A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm
As a demonstration of the feasibility of applying formal methods to quantum programming, we present the first formally certified end-to-end implementation of Shor's prime factorization algorithm, developed as part of a novel framework for applying the certified approach to general applications.
Programming Languages Quantum Physics
QuantumCircuitOpt: An Open-source Framework for Provably Optimal Quantum Circuit Design
An important direction of research has been to decompose an arbitrary entangled state, represented as a unitary, into a quantum circuit, that is, a sequence of gates supported by a quantum processor.
Quantum Physics Optimization and Control
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
In the last part, we also see that the approach can be generalised to model rewriting modulo multiple Frobenius structures.
Logic in Computer Science Category Theory
Fractal AI: A fragile theory of intelligence
Fractal AI is a theory for general artificial intelligence.
X-LoRA: Mixture of Low-Rank Adapter Experts, a Flexible Framework for Large Language Models with Applications in Protein Mechanics and Molecular Design
Starting with a set of pre-trained LoRA adapters, our gating strategy uses the hidden states to dynamically mix adapted layers, allowing the resulting X-LoRA model to draw upon different capabilities and create never-before-used deep layer-wise combinations to solve tasks.
Machine Learning by Unitary Tensor Network of Hierarchical Tree Structure
We study the quantum features of the TN states, including quantum entanglement and fidelity.
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure
This poses the challenge of extending the traditional theory of term rewriting, which has been developed for algebraic theories, to string diagrams.
Logic in Computer Science Category Theory Logic
Review of Tensor Network Contraction Approaches
One goal is to provide a systematic introduction of TN contraction algorithms (motivations, implementations, relations, implications, etc.
Computational Physics Statistical Mechanics Strongly Correlated Electrons Applied Physics Quantum Physics
