Anja Surina

1. Advancing Mathematics Research with AI-Driven Formal Proof Search
   2026/05/21 by George Tsoukalas, Anton Kovsharov, Sergey Shirobokov +18 · 21 voices · 5 citations
   #cs.AI
2. Algorithm Discovery With LLMs: Evolutionary Search Meets Reinforcement Learning
   2025/04/07 by Anja Surina, Surina, Anja, Amin Mansouri +14 · 1 voice · 14 citations
   Computer Science · #Evolutionary Algorithms and Applications #Machine Learning and Data Classification #Metaheuristic Optimization Algorithms Research #cs.AI #cs.LG #cs.NE