2 citations · 2 across the 3 of their papers we have counts for
4 papers
Advancing Mathematics Research with AI-Driven Formal Proof Search
George Tsoukalas, Anton Kovsharov, Sergey Shirobokov +18
Large language models (LLMs) increasingly excel at mathematical reasoning, but their unreliability limits their utility in mathematics research. A mitigation is using LLMs to gener…
AutoNumerics-Zero: Automated Discovery of State-of-the-Art Mathematical Functions
Esteban Real, Mirko Rossini, Connal de Souza +7
Transcendental functions, such as the exponential, are central to scientific computing, yet they cannot be natively calculated by digital hardware. Instead, computers must approxim…
Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
Moritz Firsching, Paul Lezeau, Salvatore Mercuri +8
As automated reasoning systems advance rapidly, there is a growing need for research-level formal mathematical problems to accurately evaluate their capabilities. To address this,…
The JPEG XL Image Coding System: History, Features, Coding Tools, Design Rationale, and Future
Jon Sneyers, Jyrki Alakuijala, Luca Versari +9
JPEG XL is a new image coding system offering state-of-the-art compression performance, lossless JPEG recompression, and advanced features. It aims to replace JPEG, PNG, GIF, and o…