3 papers
cs.AI2025
Massively Parallel Proof-Number Search for Impartial Games and Beyond
Tomáš Čížek, Martin Balko, Martin Schmid
Proof-Number Search is a best-first search algorithm with many successful applications, especially in game solving. As large-scale computing clusters become increasingly accessible…
cs.CV2025
SAM2RL: Towards Reinforcement Learning Memory Control in Segment Anything Model 2
Alen Adamyan, Tomáš Čížek, Matej Straka +2
Segment Anything Model 2 (SAM 2) has demonstrated strong performance in object segmentation tasks and has become the state-of-the-art for visual object tracking. The model stores i…
cs.LG2025
Artificial Generals Intelligence: Mastering Generals.io with Reinforcement Learning
Matej Straka, Martin Schmid
We introduce a real-time strategy game environment based on Generals.io, a game with thousands of weekly active players. Our environment is fully compatible with Gymnasium and Pett…