Alexander Meiburg

Orcid: 0000-0002-4506-9146

Affiliations:

University of California, Santa Barbara, CA, USA

According to our database¹, Alexander Meiburg authored at least 10 papers between 2021 and 2025.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

A Formalization of the Generalized Quantum Stein's Lemma in Lean.

[BibT_eX]

[DOI]

Alex Meiburg

Leonardo A. Lessa

Rodolfo R. Soldati

CoRR, October, 2025

Aristotle: IMO-level Automated Theorem Proving.

[BibT_eX]

[DOI]

CoRR, October, 2025

Composition Direction of Seymour's Theorem for Regular Matroids - Formally Verified.

[BibT_eX]

[DOI]

Martin Dvorak

Tristan Figueroa-Reid

CoRR, September, 2025

Bounding the Graph Capacity With Quantum Mechanics and Finite Automata.

[BibT_eX]

[DOI]

Alexander Meiburg

IEEE Trans. Inf. Theory, May, 2025

Quantum SAT Problems with Finite Sets of Projectors Are Complete for a Plethora of Classes.

[BibT_eX]

[DOI]

Ricardo Rivera Cardoso

Alex Meiburg

Daniel Nagaj

Proceedings of the 20th Conference on the Theory of Quantum Computation, 2025

2023

Complexity of Finding and Measuring Ground States in Quantum Systems

[BibT_eX]

[DOI]

Alexander Meiburg

PhD thesis, 2023

Generative Learning of Continuous Data by Tensor Networks.

[BibT_eX]

[DOI]

Alejandro Perdomo-Ortiz

CoRR, 2023

2022

Reduction Rules and ILP Are All You Need: Minimal Directed Feedback Vertex Set.

[BibT_eX]

[DOI]

Alex Meiburg

CoRR, 2022

Inapproximability of Positive Semidefinite Permanents and Quantum State Tomography.

[BibT_eX]

[DOI]

Alexander Meiburg

Proceedings of the 63rd IEEE Annual Symposium on Foundations of Computer Science, 2022

2021

Quantum Constraint Problems can be complete for BQP, QCMA, and more.

[BibT_eX]

[DOI]

Alex Meiburg

CoRR, 2021

Alexander Meiburg

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...