"au:"Jakub Szefer"" — arXiv2 Search