Olšák, Mirek

Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities

Comanici, G., Bieber, E., Schaekermann, M., Pasupat, I., Sachdeva, N., Dhillon, I., Blistein, M., Ram, O., Zhang, D., Rosen, E., et al. (2025) · arXiv

Multimodal Machine Learning ApplicationsTopic Modeling

Cited by 69

Reinforcement Learning of Theorem Proving

Kaliszyk, C., Urban, J., Michalewski, H., & Olšák, M. (2018) · arXiv

AI-based Problem Solving and PlanningLogic, programming, and type systems

Cited by 68