Matěj Kripner
Main Research Interests
deep learning, reinforcement learning, mathematical proof generation, Lean
Projects
Ph.D. topic: Advancing Reasoning Capabilities of Statistical Systems (2024 - now)
- supervisor: RNDr. Milan Straka, Ph.D.
Curriculum Vitae
- 2024-now Ph.D. in Computational Linguistics, ÚFAL MFF UK
- 2022-2024 Mgr. in Artificial Intelligence, MFF UK
- 2019-2022 Bc. in Computer Science (specialization: Theoretical Computer Science), MFF UK
Selected Bibliography
- Google Scholar
- ORCID: 0009-0006-9530-3670
- Researcher ID: LMN-4478-2024
- Self-Supervised Summarization via Reinforcement Learning (masters thesis). In: (bibtex)
- Emergence of Novelty in Evolutionary Algorithms. In: Proceedings of the ALIFE 2022: The 2022 Conference on Artificial Life, pp. 146-154, MIT Press, Cambridge, MA, USA (pdf, bibtex)