Koppány István Encz

According to our database, Koppány István Encz authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs.

Santiago Gonzalez, Alireza Amiri Bavandpour, Peter Ye, Edward Zhang, Ruslans Aleksejevs, Todor Antic, Polina Baron, Sujeet Bhalerao, Shubhrajit Bhattacharya, Zachary Burton, John Byrne, Hyungjun Choi, Nujhat Ahmed Disha, Koppány István Encz, Yuchen Fang, Robert Joseph George, Ebrahim Ghorbani, Alan Goldfarb, Jing Guo, Meghal Gupta, Stefano Huber, Annika Kanckos, Minjung Kang, Hyun Jong Kim, Dino Lorenzini, Levi Lorenzo, Tianyi Mao, Giovanni Marzenta, Ariane M. Masuda, Lukas Mauth, Ana Mickovic, Andres Miniguano-Trujillo, Antoine Moulin, Wenqi Ni, Tomos Parry, Kevin Ren, Hossein Roodbarani, Mathieu Rundström, Manjil Saikia, Detchat Samart, Rebecca Steiner, Connor Stewart, Dhara Thakkar, Jeffrey Tse, Vasiliki Velona, Yunhai Xiang, Sibel Yalçin, Jun Yan, Ji Zeng, Arman Cohan, Quanquan C. Liu

CoRR, February, 2026

2025

Branch-And-Bound Algorithms as Polynomial-Time Approximation Schemes.

Koppány István Encz, Monaldo Mastrolilli, Eleonora Vercesi

Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming, 2025