Tuomas Laakkonen

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Optimization Strategies

Satisfiability Problem

Top Venues

Publications

Nikhil Khatri, Tuomas Laakkonen, Jonathon Liu, Vincent Wang-Mascianica
On the Anatomy of Attention. CoRR (2024)
Benjamin Rodatz, Ian Fan, Tuomas Laakkonen, Neil John Ortega, Thomas Hoffman, Vincent Wang-Mascianica
A Pattern Language for Machine Learning Tasks. CoRR (2024)
Francisco J. R. Ruiz, Tuomas Laakkonen, Johannes Bausch, Matej Balog, Mohammadamin Barekatain, Francisco J. H. Heras, Alexander Novikov, Nathan Fitzpatrick, Bernardino Romera-Paredes, John van de Wetering, Alhussein Fawzi, Konstantinos Meichanetzidis, Pushmeet Kohli
Quantum Circuit Optimization with AlphaTensor. CoRR (2024)
Tuomas Laakkonen, Konstantinos Meichanetzidis, John van de Wetering
Picturing counting reductions with the ZH-calculus. CoRR (2023)
Tuomas Laakkonen, Konstantinos Meichanetzidis, John van de Wetering
A Graphical #SAT Algorithm for Formulae with Small Clause Density. CoRR (2022)