Cover Image

Advancing Mathematical Research via Human-AI Interactive Theorem Proving

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Chenyi, Lai, Zhijian, An, Dong, Hu, Jiang, Wen, Zaiwen
Format:	Preprint
Published:	2025
Subjects:	Human-Computer Interaction Artificial Intelligence Optimization and Control 81P68, 90C26, 68V15, 68T50
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Grover-compatible manifold optimization algorithm for quantum search
by: Lai, Zhijian, et al.
Published: (2025)

Achieving double-logarithmic precision dependence in optimization-based quantum unstructured search
by: Lai, Zhijian, et al.
Published: (2026)

Quantum circuit design from a retraction-based Riemannian optimization framework
by: Lai, Zhijian, et al.
Published: (2026)

Quantum-Inspired DRL Approach with LSTM and OU Noise for Cut Order Planning Optimization
by: Chrisnanto, Yulison Herry, et al.
Published: (2025)

An Inexact Feasible Interior Point Method for Linear Optimization with High Adaptability to Quantum Computers
by: Mohammadisiahroudi, Mohammadhossein, et al.
Published: (2023)

Optimal phase change for a generalized Grover's algorithm
by: Cardullo, Christopher, et al.
Published: (2025)

Primal-Dual Coordinate Descent for Nonconvex-Nonconcave Saddle Point Problems Under the Weak MVI Assumption
by: Walwil, Iyad, et al.
Published: (2025)

Prompt Engineering and the Effectiveness of Large Language Models in Enhancing Human Productivity
by: Anam, Rizal Khoirul
Published: (2025)

A quantum dual logarithmic barrier method for linear optimization
by: Wu, Zeguan, et al.
Published: (2024)

Quantum computing and the stable set problem
by: Krpan, Aljaž, et al.
Published: (2024)

Quantum and Simulated Annealing-Based Iterative Algorithms for QUBO Relaxations of the Sparsest $k$-Subgraph Problem
by: Bihani, Omkar, et al.
Published: (2025)

A novel approach to multi-image quantum encryption/decryption using qudits
by: Levaillant, Claire
Published: (2025)

Nested Grover's Algorithm for Tree Search
by: Wichert, Andreas
Published: (2025)

SmartWalkCoach: An AI Companion for End-to-End Walking Guidance, Motivation, and Reflection
by: Zhang, Xianzhe, et al.
Published: (2026)

Improved approximation ratios for the Quantum Max-Cut problem on general, triangle-free and bipartite graphs
by: Gribling, Sander, et al.
Published: (2025)

Phase Matching for a Generalized Grover's Algorithm
by: Cardullo, Chris, et al.
Published: (2026)

Utilizing redundancies in Qubit Hilbert Space to reduce entangling gate counts in the Unitary Vibrational Coupled-Cluster Method
by: Szczepanik, Michal, et al.
Published: (2024)

LLM-Assisted Crisis Management: Building Advanced LLM Platforms for Effective Emergency Response and Public Collaboration
by: Otal, Hakan T., et al.
Published: (2024)

Multimodal Structure-Aware Quantum Data Processing
by: Hawashin, Hala, et al.
Published: (2024)

Tensors, entanglement, separability, and their complexity
by: Friedland, Shmuel
Published: (2025)

Fractional revival on quasi-abelian Cayley graphs
by: Fang, Yi, et al.
Published: (2025)

Fractional revival on Cayley graphs over abelian groups
by: Wang, Jing, et al.
Published: (2022)

Quantum Algorithm for Binary Vector Encoding and Retrieval Utilizing the Permutation Trick
by: Wichert, Andreas
Published: (2025)

CaloQVAE : Simulating high-energy particle-calorimeter interactions using hybrid quantum-classical generative models
by: Hoque, Sehmimul, et al.
Published: (2023)

Quantum Measurement Statistics as Bayesian Uncertainty Estimators for Physics-Constrained Learning
by: Hewage, Prasad Nimantha Madusanka Ukwatta, et al.
Published: (2026)

AI Assistants for Spaceflight Procedures: Combining Generative Pre-Trained Transformer and Retrieval-Augmented Generation on Knowledge Graphs With Augmented Reality Cues
by: Bensch, Oliver, et al.
Published: (2024)

A preconditioned inexact infeasible quantum interior point method for linear optimization
by: Wu, Zeguan, et al.
Published: (2024)

Quantum Computing in Logistics and Supply Chain Management an Overview
by: Phillipson, Frank
Published: (2024)

RFOX (Rotated-Field Oscillatory eXchange) quantum algorithm: Towards Parameter-Free Quantum Optimizers
by: Sarmina, Brian García, et al.
Published: (2026)

Hybrid Quantum-Classical Mixture of Experts: Unlocking Topological Advantage via Interference-Based Routing
by: Heddad, Reda, et al.
Published: (2025)

PennyCoder: Efficient Domain-Specific LLMs for PennyLane-Based Quantum Code Generation
by: Basit, Abdul, et al.
Published: (2025)

Pre-Asymptotic Trainability in Photonic Variational Circuits under Postselection
by: Xie, Yichen, et al.
Published: (2026)

Representation and Regression Problems in Neural Networks: Relaxation, Generalization, and Numerics
by: Liu, Kang, et al.
Published: (2024)

Curve fitting on a quantum annealer for an advanced navigation method
by: Isserstedt, Philipp, et al.
Published: (2024)

PCA and t-SNE analysis in the study of QAOA entangled and non-entangled mixing operators
by: Sarmina, Brian García, et al.
Published: (2023)

Simulating high-accuracy nuclear motion Hamiltonians using discrete variable representation and Walsh-Hadamard QROM on fault-tolerant quantum computers
by: Szczepanik, Michał, et al.
Published: (2025)

QHackBench: Benchmarking Large Language Models for Quantum Code Generation Using PennyLane Hackathon Challenges
by: Basit, Abdul, et al.
Published: (2025)

Quantum-Noise-Driven Generative Diffusion Models
by: Parigi, Marco, et al.
Published: (2023)

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)