Moritz Firsching

According to our database, Moritz Firsching authored at least 10 papers between 2014 and 2026.

Collaborative distances:

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

2026

Advancing Mathematics Research with AI-Driven Formal Proof Search.

George Tsoukalas, Anton Kovsharov, Sergey Shirobokov, Anja Surina, Moritz Firsching, Gergely Bérczi, Francisco J. R. Ruiz, Arun Suggala, Adam Zsolt Wagner, Eric Wieser, Lei Yu, Aja Huang, Miklós Z. Horváth, Andrew Ferrauiolo, Henryk Michalewski, Codrut Grosu, Thomas Hubert, Matej Balog, Pushmeet Kohli, Swarat Chaudhuri

CoRR, May, 2026

Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics.

Moritz Firsching, Paul Lezeau, Salvatore Mercuri, Miklós Z. Horváth, Yaël Dillies, Calle Sönne, Eric Wieser, Fred Zhang, Thomas Hubert, Blaise Agüera y Arcas, Pushmeet Kohli

CoRR, May, 2026

2025

The JPEG XL Image Coding System: History, Features, Coding Tools, Design Rationale, and Future.

Jon Sneyers, Jyrki Alakuijala, Luca Versari, Zoltan Szabadka, Sami Boukortt, Amnon Cohen-Tidhar, Moritz Firsching, Evgenii Kliuchnikov, Tal Lev-Ami, Eric Portis, Thomas Richter, Osamu Watanabe

CoRR, June, 2025

2023

AutoNumerics-Zero: Automated Discovery of State-of-the-Art Mathematical Functions.

Esteban Real, Yao Chen, Mirko Rossini, Connal de Souza, Manav Garg, Akhil Verghese, Moritz Firsching, Quoc V. Le, Ekin Dogus Cubuk, David H. Park

CoRR, 2023

2020

Intelligent Matrix Exponentiation.

Thomas Fischbacher, Iulia M. Comsa, Krzysztof Potempa, Moritz Firsching, Luca Versari, Jyrki Alakuijala

CoRR, 2020

2019

Committee Draft of JPEG XL Image Coding System.

Alexander Rhatushnyak, Jan Wassenberg, Jon Sneyers, Jyrki Alakuijala, Lode Vandevenne, Luca Versari, Robert Obryk, Zoltan Szabadka, Evgenii Kliuchnikov, Iulia-Maria Comsa, Krzysztof Potempa, Martin Bruse, Moritz Firsching, Renata Khasanova, Ruud van Asseldonk, Sami Boukortt, Sebastian Gomez, Thomas Fischbacher

CoRR, 2019

SO(8) Supergravity and the Magic of Machine Learning.

Iulia M. Comsa, Moritz Firsching, Thomas Fischbacher

CoRR, 2019

2017

Realizability and inscribability for simplicial polytopes via nonlinear optimization.

Moritz Firsching

Math. Program., 2017

2015

Computing Maximal Copies of Polyhedra Contained in a Polyhedron.

Moritz Firsching

Exp. Math., 2015

2014

Computing maximal copies of polytopes contained in a polytope.

Moritz Firsching

CoRR, 2014