DOI,IST REx ID,Research Group,Title of publication
10.48550/arXiv.2103.11389,9281,"LaEr,ToHe",Formal verification of Zagier's one-sentence proof