Cover Image

Explore Simpler Eigenmarking: Quantum Entailment Model Checking

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Katanyukul, Tatpong
Format:	Preprint
Published:	2026
Subjects:	Quantum Physics Emerging Technologies
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Toward Entailment Checking: Explore Eigenmarking Search
by: Katanyukul, Tatpong
Published: (2025)

Tailored Quantum Device Calibration with Statistical Model Checking
by: Mazurek, Filip, et al.
Published: (2025)

Quantum Error Mitigation by Pauli Check Sandwiching
by: Gonzales, Alvin, et al.
Published: (2022)

Towards Equivalence Checking of Classical Circuits Using Quantum Computing
by: Quetschlich, Nils, et al.
Published: (2024)

qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking
by: Kole, Abhoy, et al.
Published: (2024)

Exploring Unsupervised Anomaly Detection with Quantum Boltzmann Machines in Fraud Detection
by: Stein, Jonas, et al.
Published: (2023)

Quantum Large Language Model Fine-Tuning
by: Kim, Sang Hyub, et al.
Published: (2025)

Benchmarking Quantum Surrogate Models on Scarce and Noisy Data
by: Stein, Jonas, et al.
Published: (2023)

Extending the OmpSs-2 Programming Model for Hybrid Quantum-Classical Programming
by: Döbler, Philip, et al.
Published: (2025)

Performance of Quantum Approximate Optimization with Quantum Error Detection
by: He, Zichang, et al.
Published: (2024)

Impact-Driven Quantum Decomposition for Traffic Zone Partitioning: A Hybrid Gate-Model Framework
by: Ke, Ruimin, et al.
Published: (2026)

Modeling and Simulating Rydberg Atom Quantum Computers for Hardware-Software Co-design with PachinQo
by: Ludmir, Jason Zev, et al.
Published: (2024)

Branch-Aware Quantum Constant Propagation for Dynamic Quantum Circuits
by: Fulginiti, Innocenzo, et al.
Published: (2026)

Quantum Tunneling: From Theory to Error-Mitigated Quantum Simulation
by: Catrina, Sorana, et al.
Published: (2024)

Quantum Quandaries: Unraveling Encoding Vulnerabilities in Quantum Neural Networks
by: Upadhyay, Suryansh, et al.
Published: (2025)

Neural Quantum Embedding: Pushing the Limits of Quantum Supervised Learning
by: Hur, Tak, et al.
Published: (2023)

Exploring Quantum Neural Networks for Demand Forecasting
by: de Jesus, Gleydson Fernandes, et al.
Published: (2024)

Multi-strategy Based Quantum Cost Reduction of Quantum Boolean Circuits
by: Ahmed, Taghreed, et al.
Published: (2024)

Transversal AND in Quantum Codes
by: Li, Christine, et al.
Published: (2026)

Quantum computing with Qiskit
by: Javadi-Abhari, Ali, et al.
Published: (2024)

Ensembles of Quantum Classifiers
by: Tolotti, Emiliano, et al.
Published: (2023)

Distributed Quantum Computation with Minimum Circuit Execution Time over Quantum Networks
by: Sundaram, Ranjani G, et al.
Published: (2024)

Ecosystem-Agnostic Standardization of Quantum Runtime Architecture: Accelerating Utility in Quantum Computing
by: Tsymbalista, Markiian, et al.
Published: (2024)

Exploring the application of quantum technologies to industrial and real-world use cases
by: Osaba, Eneko, et al.
Published: (2025)

SpinTune: Improving the Reliability of Quantum Sensor Networks for Practical Quantum-Classical Utility
by: Ludmir, Jason, et al.
Published: (2026)

Multifractality Analysis of Single Qubit Quantum Circuit Outcomes for a Superconducting Quantum Computer
by: Saghafi, Mohammadreza, et al.
Published: (2025)

FragQC: An Efficient Quantum Error Reduction Technique using Quantum Circuit Fragmentation
by: Basu, Saikat, et al.
Published: (2023)

Q-Embroidery: A Study on Weaving Quantum Error Correction into the Fabric of Quantum Classifiers
by: Chatterjee, Avimita, et al.
Published: (2024)

Robust Implementation of Discrete-time Quantum Walks in Any Finite-dimensional Quantum System
by: Nandi, Biswayan, et al.
Published: (2024)

Review of Distributed Quantum Computing. From single QPU to High Performance Quantum Computing
by: Barral, David, et al.
Published: (2024)

Quantum Computing for Automotive Applications
by: Riofrío, Carlos A., et al.
Published: (2024)

Quantum Organisational Readiness Levels
by: Teitsma, Marten, et al.
Published: (2025)

Combinatorial Optimization with Quantum Computers
by: Chicano, Francisco, et al.
Published: (2024)

Quantum-Assisted Vehicle Routing: Realizing QAOA-based Approach on Gate-Based Quantum Computer
by: Azfar, Talha, et al.
Published: (2025)

Adaptive Quantum Scaling Model for Histogram Distribution-based Quantum Watermarking
by: Xing, Zheng, et al.
Published: (2025)

QuCoWE Quantum Contrastive Word Embeddings with Variational Circuits for NearTerm Quantum Devices
by: Karanjai, Rabimba, et al.
Published: (2025)

Efficient Quantum Circuit Design with a Standard Cell Approach, with an Application to Neutral Atom Quantum Computers
by: Dobbs, Evan E., et al.
Published: (2022)

Quantum Computing -- Strategic Recommendations for the Industry
by: Erdmann, Marvin, et al.
Published: (2026)

Quantum Computing for Optimizing Aircraft Loading
by: Kaushik, Ananth, et al.
Published: (2025)

Quantum Multiplexer Simplification for State Preparation
by: de Carvalho, José A., et al.
Published: (2024)