Buchumschlag

MerLean: An Agentic Framework for Autoformalization in Quantum Computation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ren, Yuanjie, Li, Jinzheng, Qi, Yidi
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science Artificial Intelligence Emerging Technologies Quantum Physics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
von: Li, Jinzheng, et al.
Veröffentlicht: (2026)

No Scratch Quantum Computing by Reducing Qubit Overhead for Efficient Arithmetics
von: Faizy, Omid, et al.
Veröffentlicht: (2025)

Bit-Vector Abstractions to Formally Verify Quantum Error Detection & Entanglement
von: Govindankutty, Arun
Veröffentlicht: (2026)

Toward Entailment Checking: Explore Eigenmarking Search
von: Katanyukul, Tatpong
Veröffentlicht: (2025)

Ternary Memristive Logic: Hardware for Reasoning Realized via Domain Algebra
von: Li, Chao
Veröffentlicht: (2026)

A Coalgebraic Model of Quantum Bisimulation
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2025)

QOPTLib: a Quantum Computing Oriented Benchmark for Combinatorial Optimization Problems
von: Osaba, Eneko, et al.
Veröffentlicht: (2024)

Solving Drone Routing Problems with Quantum Computing: A Hybrid Approach Combining Quantum Annealing and Gate-Based Paradigms
von: Osaba, Eneko, et al.
Veröffentlicht: (2025)

Universal Quantum Transformer
von: Chung, Sungyong, et al.
Veröffentlicht: (2026)

Hyperdimensional Quantum Factorization
von: Poduval, Prathyush, et al.
Veröffentlicht: (2024)

Computable Model-Independent Bounds for Adversarial Quantum Machine Learning
von: Li, Bacui, et al.
Veröffentlicht: (2024)

Towards Multiphase Clocking in Single-Flux Quantum Systems
von: Bairamkulov, Rassul, et al.
Veröffentlicht: (2024)

Transformer-Based Neural Quantum Digital Twins for Many-Body Quantum Simulation and Optimal Annealing Schedule Design
von: Lu, Jianlong, et al.
Veröffentlicht: (2025)

Steiner Traveling Salesman Problem with Quantum Annealing
von: Ciacco, Alessia, et al.
Veröffentlicht: (2025)

AxOSyn: An Open-source Framework for Synthesizing Novel Approximate Arithmetic Operators
von: Sahoo, Siva Satyendra, et al.
Veröffentlicht: (2025)

Circuit Partitioning Using Large Language Models for Quantum Compilation and Simulations
von: Sinha, Pranav, et al.
Veröffentlicht: (2025)

Addressing the Minor-Embedding Problem in Quantum Annealing and Evaluating State-of-the-Art Algorithm Performance
von: Gomez-Tejedor, Aitor, et al.
Veröffentlicht: (2025)

Solving Logistic-Oriented Bin Packing Problems Through a Hybrid Quantum-Classical Approach
von: Romero, Sebastián V., et al.
Veröffentlicht: (2023)

Quantum Machine Learning in Precision Medicine and Drug Discovery -- A Game Changer for Tailored Treatments?
von: Bertl, Markus, et al.
Veröffentlicht: (2025)

Quantum Circuit Design using a Progressive Widening Enhanced Monte Carlo Tree Search
von: Lipardi, Vincenzo, et al.
Veröffentlicht: (2025)

All-optical 3-input OR and 2-input AND/NIMPLY logic gates in a linear planar three-core optical fiber coupler
von: Rodrigues, J. P. T., et al.
Veröffentlicht: (2025)

A Quantum-Inspired Algorithm for Solving Sudoku Puzzles and the MaxCut Problem
von: Zhao, Max B., et al.
Veröffentlicht: (2025)

Incorporating Quantum Advantage in Quantum Circuit Generation through Genetic Programming
von: Stein, Christoph, et al.
Veröffentlicht: (2025)

Quantum-Based Feature Selection for Multi-classification Problem in Complex Systems with Edge Computing
von: Liu, Wenjie, et al.
Veröffentlicht: (2023)

Loop unrolling: formal definition and application to testing
von: Huang, Li, et al.
Veröffentlicht: (2025)

Evolving Hard Maximum Cut Instances for Quantum Approximate Optimization Algorithms
von: Pan, Shuaiqun, et al.
Veröffentlicht: (2025)

Reverse Map Projections as Equivariant Quantum Embeddings
von: Arnott, Max, et al.
Veröffentlicht: (2024)

Fuzzychain: An Equitable Consensus Mechanism for Blockchain Networks
von: Ramos-Cruz, Bruno, et al.
Veröffentlicht: (2024)

Linear Decomposition of the Majority Boolean Function using the Ones on Smaller Variables
von: Chattopadhyay, Anupam, et al.
Veröffentlicht: (2025)

Transfer of Knowledge through Reverse Annealing: A Preliminary Analysis of the Benefits and What to Share
von: Osaba, Eneko, et al.
Veröffentlicht: (2025)

D-Wave's Nonlinear-Program Hybrid Solver: Description and Performance Analysis
von: Osaba, Eneko, et al.
Veröffentlicht: (2024)

A quantum system control method based on enhanced reinforcement learning
von: Liu, Wenjie, et al.
Veröffentlicht: (2023)

QAgent: An LLM-based Multi-Agent System for Autonomous OpenQASM programming
von: Fu, Zhenxiao, et al.
Veröffentlicht: (2025)

Imperfect-Information Games on Quantum Computers: A Case Study in Skat
von: Armbrüster, Ulrich, et al.
Veröffentlicht: (2024)

Quantum Data Center: Perspectives
von: Liu, Junyu, et al.
Veröffentlicht: (2023)

Federated Formal Verification: Cross-Backend Citation, Cross-Axis Convergence, and AI-Orchestrated Proof Dispatch for Production Systems
von: Falda, Pierre
Veröffentlicht: (2026)

Towards an Automated Framework for Realizing Quantum Computing Solutions
von: Quetschlich, Nils, et al.
Veröffentlicht: (2022)

Quantum Computing and Tensor Networks for Laminate Design: A Novel Approach to Stacking Sequence Retrieval
von: Wulff, Arne, et al.
Veröffentlicht: (2024)

Component Based Quantum Machine Learning Explainability
von: White, Barra, et al.
Veröffentlicht: (2025)

Variational Quantum Circuits Enhanced Generative Adversarial Network
von: Shu, Runqiu, et al.
Veröffentlicht: (2024)