Gergely Bérczi

According to our database, Gergely Bérczi authored at least 11 papers between 2002 and 2026.

Collaborative distances:

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

2026

Real-rootedness of the Poincaré polynomials of M_0,n: an AI-assisted proof.

Gergely Bérczi, Young-Hoon Kiem

CoRR, May, 2026

Positivity in classical enumerative geometry: a case study in synchronized AI-assisted mathematics.

Gergely Bérczi, László M. Fehér

CoRR, May, 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

Evolving Ranking Functions for Canonical Blow-Ups in Positive Characteristic.

Gergely Bérczi

CoRR, February, 2026

Flow-based Extremal Mathematical Structure Discovery.

Gergely Bérczi, Baran Hashemi, Jonas Klüver

CoRR, January, 2026

2025

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation.

Johannes Schmitt, Gergely Bérczi, Jasper Dekoninck, Jeremy Feusi, Tim Gehrunger, Raphael Appenzeller, Jim Bryan, Niklas Canova, Timo de Wolff, Filippo Gaia, Michel van Garrel, Baran Hashemi, David Holmes, Aitor Iribar Lopez, Victor Jaeck, Martina Jørgensen, Steven Kelk, Stefan Kuhlmann, Adam Kurpisz, Chiara Meroni, Ingmar Metzler, Martin Möller, Samuel Muñoz-Echániz, Robert Nowak, Georg Oberdieck, Daniel Platt, Dylan Possamaï, Gabriel Ribeiro, Raul Sanchez Galan, Zheming Sun, Josef Teichmann, Richard P. Thomas, Charles Vial

CoRR, September, 2025

2024

A Note on Small Percolating Sets on Hypercubes via Generative AI.

Gergely Bérczi, Adam Zsolt Wagner

CoRR, 2024

Reinforcement Learning the Chromatic Symmetric Function.

Gergely Bérczi, Jonas Klüver

CoRR, 2024

2023

An ML approach to resolution of singularities.

Gergely Bérczi, Honglu Fan, Mingcong Zeng

Proceedings of the Topological, 2023

2003

On finite pseudorandom sequences of <i>k</i> symbols.

Gergely Bérczi

Period. Math. Hung., 2003

2002

On the distribution of products of members of a sequence with positive density.

Gergely Bérczi

Period. Math. Hung., 2002