OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Annika Kanckos
Researcher, Philosophy, University of Helsinki
Joined
January 2026
Names
Annika Kanckos
(Preferred)
,
Annika Siders
Emails
****@helsinki.fi
(Confirmed)
Personal Links
Homepage
Career & Education History
Researcher
Philosophy,
University of Helsinki
(helsinki.fi)
2024
–
Present
Postdoc
Philosophy,
University of Helsinki
(helsinki.fi)
2018
–
2023
PhD student
Philosophy,
University of Helsinki
(helsinki.fi)
2006
–
2011
Advisors, Relations & Conflicts
PhD Advisor
Jan von Plato
2006
–
2011
Expertise
proof theory
Present
Publications
QEDBench: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs
Wenqi Ni
,
Santiago Gonzalez
,
Alireza Amiri Bavandpour
,
Peter Ye
,
Edward Zhang
,
Ruslans Aleksejevs
,
Todor Antić
,
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
et al. (31 additional authors not shown)
OpenReview Archive Direct Upload
Readers:
Everyone
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 Antić
,
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
et al. (31 additional authors not shown)
ICML 2026 AI4Math Workshop Poster
Readers:
Everyone
Co-Authors
Alan Goldfarb
Alireza Amiri Bavandpour
Ana Mickovic
Andrés Miniguano-Trujillo
Antoine Moulin
Ariane M. Masuda
Arman Cohan
Connor Stewart
Detchat Samart
Dhara Thakkar
Dino Lorenzini
Ebrahim Ghorbani
Edward Zhang
Giovanni Marzenta
Hossein Roodbarani
Hyun Jong Kim
Hyungjun Choi
Jeffrey Tse
Ji Zeng
Jing Guo
John Byrne
Jun Yan
Kevin Ren
Koppány István Encz
Levi Lorenzo
View all 50 co-authors