As the year draws to a close, we are excited to reflect on the inspiring journey of innovation and collaboration that has defined our Tenure Trackers research activities. Since last year, the 4 researchers and their teams have pushed the boundaries of knowledge once again, with groundbreaking publications and impactful projects, fostering new partnerships and mentoring the next generation of researchers.
Tomáš Mikolov
AI Awards 2024
The prestigious AI Awards 2024, which annually honour the most significant projects in the field of artificial intelligence in the Czech Republic, were organised on November 2021, 2024 by the Czech National AI Platform (prg.ai, Brno.AI, CzechInvest…). The main prize for long-term contribution, the Lifetime Achievement award, was awarded to Tomáš Mikolov for laying the foundations for self-supervised learning technology, which is one of the foundations of current large-scale language models such as ChatGPT.
NeurIPS 2023 Test of Time award
In December 2023, Tomáš Mikolov received the Test of Time award for his long-term contribution to machine learning research at the prestigious NeurIPS 2023 (Neural Information Processing Systems) machine learning conference. This award recognizes papers that have had a significant impact on machine learning research over a ten-year period since publication.
NeurIPS, along with ICLR and ICML, is one of the most prestigious conferences in the field of machine learning and is ranked among the top ten (currently top 7) journals and conferences in all areas of science, as measured by citation impact by Google Scholar.
The award was given for a paper first authored by Tomas: “Distributed Representations of Words and Phrases and their Compositionality” (T. Mikolov, I. Sutskever, K. Chen, G. Corrado, J. Dean) published in 2013 and cited more than 40,000 times. By introducing the “breakthrough word2vec technique for word representation”, the work demonstrates “the power of learning from large amounts of unstructured text and has accelerated progress that marked the beginning of a new era in natural language processing” (NeurIPS 2023).
Word2vec converts words into vectors in a multidimensional space, allowing their meaning relationships to be captured. Thanks to Tomas’ work, word2vec has become an essential tool for many applications, including text analysis and machine translation. This work laid the foundation for self-supervised learning technology, which is one of the foundations of current large-scale language models such as ChatGPT.
Torsten Sattler
CVPR 2024 Best Paper Award
Torsten attended the 2024 edition of the Conference on Computer Vision and Pattern Recognition, where along with his team, he presented 3 different papers. One of them, titled “Mip-Splatting: Alias-free 3D Gaussian Splatting” and co-authored by Zehao Yu, Anpei Chen, Binbin Huang, Andreas Geiger, and Torsten Sattler himself, won one of the two best student paper awards.
ECCV 2024
Torsten was one of the organisers of the scientific program of the 2024 edition of the European Conference on Computer Vision (ECCV) which took place in Milan from September 29th to October 4th, 2024.
Mikoláš Janota
CICM 2024
Mikoláš received the Best Paper award at the Conference on Intelligent Computer Mathematics 2024, which took place in Montreal from August 5th to August 9th, 2024. The paper, titled Solving Hard Mizar Problems with Instantiation and Strategy Invention, was co-authored by J. Jakubův, M. Janota, and J. Urban.
SC2 workshop/IJCAR 2024
Mikoláš took part in the 9th International Workshop on Satisfiability Checking and Symbolic Computation was held on 2 July 2024 at LORIA, the Lorraine Research Laboratory in Computer Science and its Applications, in Nancy, France. It was collocated with IJCAR 2024.
FMCAD 2024 conference
Mikoláš attended the Formal Methods in Computer-Aided Design 2024 which took place in Prague, from October 14 to October 18.
Martin Suda
IJCAR 2024
Martin took part in the International Joint Conference on Automated Reasoning (IJCAR) from July 1st to 6th in Nancy, France, where he won the first place of the CADE ATP System Competition (CASC) on behalf of his team with their automatic theorem prover Vampire (now Version 4.9).
He was also involved in the organisation of the 9th Workshop on Practical Aspects of Automated Reasoning on July 2nd.
IDESSAI Summer School
Martin was one of the speakers within the track B of the IDESSAI Summer School on September 12th, organised by DFKI and INRIA with the support of RICAIP, in Saarbrucken.
