Alexander Meiburg

According to our database, Alexander Meiburg authored at least 12 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Gradient descent reliably finds depth- and gate-optimal circuits for generic unitaries.

Janani Gomathi, Alex Meiburg

CoRR, January, 2026

2025

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale.

Matthew Bolan, Joachim Breitner, Jose Brox, Nicholas Carlini, Mario Carneiro, Floris van Doorn, Martin Dvorak, Andrés Goens, Aaron Hill, Harald Husum, Hernán Ibarra Mejia, Zoltan A. Kocsis, Bruno Le Floch, Amir Livne Bar-on, Lorenzo Luccioli, Douglas McNeil, Alex Meiburg, Pietro Monticone, Pace P. Nielsen, Emmanuel Osalotioman Osazuwa, Giovanni Paolini, Marco Petracci, Bernhard Reinke, David Renshaw, Marcus Rossel, Cody Roux, Jérémy Scanvic, Shreyas Srinivas, Anand Rao Tadipatri, Terence Tao, Vlad Tsyrklevich, Fernando Vaquerizo-Villar, Daniel Weber, Fan Zheng

CoRR, December, 2025

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

Alex Meiburg, Leonardo A. Lessa, Rodolfo R. Soldati

CoRR, October, 2025

Aristotle: IMO-level Automated Theorem Proving.

Tudor Achim, Alex Best, Alberto Bietti, Kevin Der, Mathïs Fédérico, Sergei Gukov, Daniel Halpern-Leistner, Kirsten Henningsgard, Yury Kudryashov, Alexander Meiburg, Martin Michelsen, Riley Patterson, Eric Rodriguez, Laura Scharff, Vikram Shanker, Vladmir Sicca, Hari Sowrirajan, Aidan Swope, Matyas Tamas, Vlad Tenev, Jonathan Thomm, Harold Williams, Lawrence Wu

CoRR, October, 2025

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

Martin Dvorak, Tristan Figueroa-Reid, Rida Hamadani, Byung-Hak Hwang, Evgenia Karunus, Vladimir Kolmogorov, Alexander Meiburg, Alexander Nelson, Peter Nelson, Mark Sandey, Ivan Sergeev

CoRR, September, 2025

Bounding the Graph Capacity With Quantum Mechanics and Finite Automata.

Alexander Meiburg

IEEE Trans. Inf. Theory, May, 2025

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

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

Alexander Meiburg

PhD thesis, 2023

Generative Learning of Continuous Data by Tensor Networks.

Alex Meiburg, Jing Chen, Jacob Miller, Raphaëlle Tihon, Guillaume Rabusseau, Alejandro Perdomo-Ortiz

CoRR, 2023

2022

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

Alex Meiburg

CoRR, 2022

Inapproximability of Positive Semidefinite Permanents and Quantum State Tomography.

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.

Alex Meiburg

CoRR, 2021