:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Meiburg, Alex, Lessa, Leonardo A., Soldati, Rodolfo R.
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics Logic in Computer Science 81P45 (Primary) 62M07, 68V20 (Secondary) F.4.1; H.1.1
Online Access:	https://arxiv.org/abs/2510.08672
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Deep Vision: A Formal Proof of Wolstenholmes Theorem in Lean 4
by: Linhares, Alexandre
Published: (2026)

How many samples to label for an application given a foundation model? Chest X-ray classification study
by: Nechaev, Nikolay, et al.
Published: (2025)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
by: Farmer, William M., et al.
Published: (2023)

Rabi oscillations and entanglement between two atoms interacting by the Rydberg blockade studied by the Jaynes-Cummings Model
by: Santillan, Francisco D., et al.
Published: (2024)

Hybrid quantum tensor networks for aeroelastic applications
by: Hickmann, M. Lautaro, et al.
Published: (2025)

Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
by: Ceragioli, Lorenzo, et al.
Published: (2024)

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
by: Ceragioli, Lorenzo, et al.
Published: (2026)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
by: Farmer, William M.
Published: (2026)

Quantum NLP models on Natural Language Inference
by: Sun, Ling, et al.
Published: (2025)

Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives
by: Wiesnet, Franziskus
Published: (2025)

Modal Logic with Relations over Paths: a Theoretical Development through Comonadic Semantics
by: Figueira, Santiago, et al.
Published: (2023)

A formalization of Borel determinacy in Lean
by: Manthe, Sven
Published: (2025)

Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification
by: Ding, Sichen, et al.
Published: (2026)

Internalizing Extensions in Lattices of Type Theories
by: Chan, Jonathan
Published: (2025)

Bounded First-Class Universe Levels in Dependent Type Theory
by: Chan, Jonathan, et al.
Published: (2025)

Formalization of QFT
by: Douglas, Michael R., et al.
Published: (2026)

GT-PCA: Effective and Interpretable Dimensionality Reduction with General Transform-Invariant Principal Component Analysis
by: Heinrichs, Florian
Published: (2024)

Privacy-preserving neutral atom-based quantum classifier towards real healthcare applications
by: Canonici, Ettore, et al.
Published: (2025)

QUBO-based SVM for credit card fraud detection on a real QPU
by: Canonici, Ettore, et al.
Published: (2024)

Leveraging Imperfection with MEDLEY A Multi-Model Approach Harnessing Bias in Medical AI
by: Abtahi, Farhad, et al.
Published: (2025)

Relative Constructibility via Generalised Sequential Algorithms
by: Lau, Desmond
Published: (2024)

Quantum Phase Transition of Non-Hermitian Systems using Variational Quantum Techniques
by: Hancock, James, et al.
Published: (2025)

Mathematical comparison of classical and quantum mechanisms in optimization under local differential privacy
by: Yoshida, Yuuya
Published: (2020)

Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)
by: Nakano, Keisuke, et al.
Published: (2024)

Quantum Neural Networks for Propensity Score Estimation and Survival Analysis in Observational Biomedical Studies
by: Novák, Vojtěch, et al.
Published: (2025)

Beyond Static Knowledge Messengers: Towards Adaptive, Fair, and Scalable Federated Learning for Medical AI
by: Arafat, Jahidul, et al.
Published: (2025)

Confinement-Tunable Synthetic Gauge Fields and Floquet Topological Phenomena in a Driven Quantum Wire Qubit
by: Claire, Feulefack Ornela, et al.
Published: (2026)

Synthetic data for ratemaking: imputation-based methods vs adversarial networks and autoencoders
by: Havrylenko, Yevhen, et al.
Published: (2025)

Compositional Separation of Control Flow and Data Flow
by: Arellanes, Damian
Published: (2023)

The Predictive-Causal Gap: An Impossibility Theorem and Large-Scale Neural Evidence
by: Liu, Kejun
Published: (2026)

Generalization and Feature Attribution in Machine Learning Models for Crop Yield and Anomaly Prediction in Germany
by: Baatz, Roland
Published: (2025)

Determination of the fifth Busy Beaver value
by: The bbchallenge Collaboration, et al.
Published: (2025)

Learning Variational Quantum Circuit Parameters with Classical Artificial Intelligence for Quantum Phase Transition Detection
by: Li, Xin, et al.
Published: (2025)

Enhancing Human Action Recognition and Violence Detection Through Deep Learning Audiovisual Fusion
by: Janani, Pooya, et al.
Published: (2024)

An Expressive Trace Logic for Recursive Programs
by: Gurov, Dilian, et al.
Published: (2024)

Flexible and efficient emulation of spatial extremes processes via variational autoencoders
by: Zhang, Likun, et al.
Published: (2023)

Neural Networks Learn Distance Metrics
by: Oursland, Alan
Published: (2025)

Differentiable Optimization Layers for Guaranteed Fairness in Deep Learning
by: Troxell, David, et al.
Published: (2026)

A Formalization of Abstract Rewriting in Agda
by: Arkle, Sam, et al.
Published: (2026)

Differential Privacy: Gradient Leakage Attacks in Federated Learning Environments
by: Fernandez-de-Retana, Miguel, et al.
Published: (2025)