We stand with Ukraine  

Robert Nowak

According to our database1, Robert Nowak authored at least 1 paper in 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Awards

IEEE Fellow

IEEE Fellow 2010, "For contributions to statistical signal and image processing".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation.
[BibTeX]
[DOI]
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


  Loading...