YAQQ: Yet Another Quantum Quantizer -- Design Space Exploration of Quantum Gate Sets using Novelty Search

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sarkar, Aritra, Kundu, Akash, Steinberg, Matthew, Mishra, Sibasish, Fauquenot, Sebastiaan, Acharya, Tamal, Miszczak, Jarosław A., Feld, Sebastian
Format:	Preprint
Published:	2024
Subjects:	Quantum Physics Information Theory Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Open and Closed Loop Approaches for Energy Efficient Quantum Optimal Control
by: Sebastiaan Fauquenot, et al.
Published: (2025)

A Scalable Quantum Gate‐Based Implementation for Causal Hypothesis Testing
by: Akash Kundu, et al.
Published: (2024)

EO-GRAPE and EO-DRLPE: Open and Closed Loop Approaches for Energy Efficient Quantum Optimal Control
by: Fauquenot, Sebastiaan, et al.
Published: (2024)

EQISA: Energy-efficient Quantum Instruction Set Architecture using Sparse Dictionary Learning
by: Mishra, Sibasish, et al.
Published: (2026)

Computational Explorations on Semifields
by: Dumas, Jean-Guillaume, et al.
Published: (2026)

“I'm a Good Guy Who Deserves Better, Yet Nobody Wants to Give me Better”: The Accounts of Nice Guys
by: Brooke Weinmann, et al.
Published: (2025)

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
by: Huang, Wei-Jia, et al.
Published: (2026)

Connectivity in Symmetric Semi-Algebraic Sets
by: Riener, Cordian, et al.
Published: (2024)

Parallel Heuristic Exploration for Additive Complexity Reduction in Fast Matrix Multiplication
by: Perminov, A. I.
Published: (2025)

Explorations on the number of realizations of minimally rigid graphs
by: Grasegger, Georg
Published: (2025)

The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
by: Mishra, Suyash
Published: (2026)

HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction
by: Jayasena, Aruna, et al.
Published: (2023)

NOMTO: Neural Operator-based symbolic Model approximaTion and discOvery
by: Garmaev, Sergei, et al.
Published: (2025)

Optimal Communication Unbalanced Private Set Union
by: Dumas, Jean-Guillaume, et al.
Published: (2024)

Unique Blending of Myth and Reality in Raja Rao's Kanthapura : A Critical Study
by: Akash Satpati
Published: (2017)

Visual Set Program Synthesizer
by: Cheng, Zehua, et al.
Published: (2026)

Quantum Knowledge Graph: Modeling Context-Dependent Triplet Validity
by: Wang, Yao, et al.
Published: (2026)

Quantum Hyperdimensional Computing: a foundational paradigm for quantum neuromorphic architectures
by: Cumbo, Fabio, et al.
Published: (2025)

A Local Search Algorithm for MaxSMT(LIA)
by: He, Xiang, et al.
Published: (2024)

KANQAS: Kolmogorov-Arnold Network for Quantum Architecture Search
by: Kundu, Akash, et al.
Published: (2024)

Auditable Unit-Aware Thresholds in Symbolic Regression via Logistic-Gated Operators
by: Deng, Ou, et al.
Published: (2025)

SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis
by: Feeney, Sean, et al.
Published: (2026)

Alienation Techniques in VayalaVasudevan Pillai’s Vishwadarshanam
by: Reshma V.R.
Published: (2018)

Faster multivariate integration in D-modules
by: Brochet, Hadrien, et al.
Published: (2025)

How to generate all possible rational Wilf-Zeilberger forms?
by: Chen, Shaoshi, et al.
Published: (2024)

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
by: Böhmer, Christian G., et al.
Published: (2025)

Consequences of the Moosbauer-Poole Algorithms
by: Kauers, Manuel, et al.
Published: (2025)

Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)
by: Finkelstein, Edward
Published: (2025)

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
by: Stübbe, Jonas, et al.
Published: (2025)

Solving parametric polynomial systems using Generic Rational Univariate Representation
by: Corniquel, Florent
Published: (2026)

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
by: Wang, Zhonghan
Published: (2024)

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
by: Chen, Shaoshi, et al.
Published: (2025)

More is Less: Adding Polynomials for Faster Explanations in NLSAT
by: Promies, Valentin, et al.
Published: (2025)

A Generalisation of Goursat's Algorithm for Integration in Finite Terms
by: Blake, Sam
Published: (2026)

Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
by: Hofstadler, Clemens, et al.
Published: (2026)

Meta Flip Graph meets Serendipitous Product: new Fast Matrix Multiplication results
by: Perminov, A. I.
Published: (2026)

Faster modular composition using two relation matrices
by: Neiger, Vincent, et al.
Published: (2026)

Order Bounds for Hypergeometric and q-Hypergeometric Creative Telescoping
by: Huang, Hui
Published: (2026)

Semantics of Division for Polynomial Solvers
by: Brown, Christopher W.
Published: (2024)

Generalized ODE reduction algorithm for bounded degree transformation
by: Huang, Shaoxuan
Published: (2025)