What makes math problems hard for reinforcement learning: a case study
Authors:
Ali Shehper,
Anibal M. Medina-Mardones,
Lucas Fagan,
Bartłomiej Lewandowski,
Angus Gruen,
Yang Qiu,
Piotr Kucharski,
Zhenghan Wang,
Sergei Gukov
Abstract:
Using a long-standing conjecture from combinatorial group theory, we explore, from multiple perspectives, the challenges of finding rare instances carrying disproportionately high rewards. Based on lessons learned in the context defined by the Andrews-Curtis conjecture, we propose algorithmic enhancements and a topological hardness measure with implications for a broad class of search problems. As…
▽ More
Using a long-standing conjecture from combinatorial group theory, we explore, from multiple perspectives, the challenges of finding rare instances carrying disproportionately high rewards. Based on lessons learned in the context defined by the Andrews-Curtis conjecture, we propose algorithmic enhancements and a topological hardness measure with implications for a broad class of search problems. As part of our study, we also address several open mathematical questions. Notably, we demonstrate the length reducibility of all but two presentations in the Akbulut-Kirby series (1981), and resolve various potential counterexamples in the Miller-Schupp series (1991), including three infinite subfamilies.
△ Less
Submitted 11 February, 2025; v1 submitted 27 August, 2024;
originally announced August 2024.
Design and implementation of a user interface for a multi-device spatially-aware mobile system
Authors:
Przemysław Kucharski
Abstract:
The aim of this thesis was the design and development of an interactive system enhancing collaborative sensemaking. The system design was based on related work research and preliminary user study. The system is based on multiple spatially-aware mobile devices. The spatial awareness is established with a motion tracking system. The information about position of tablets is received by a server. The…
▽ More
The aim of this thesis was the design and development of an interactive system enhancing collaborative sensemaking. The system design was based on related work research and preliminary user study. The system is based on multiple spatially-aware mobile devices. The spatial awareness is established with a motion tracking system. The information about position of tablets is received by a server. The server communicates with the devices and manages the content of each device. The implemented system supports managing the elements of information across the devices basing on their relative spatial arrangement. The evaluation of the system was done by a user study.
△ Less
Submitted 8 January, 2016;
originally announced January 2016.