20 citations · 21 across the 6 of their papers we have counts for
8 papers
Random groups in the square model have property (T) at densities over
Damian Orlef, Tomasz Odrzygóźdź
A random group in the square model is given by a presentation with generators and a uniformly random set of cyclically reduced relators of leng…
Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal Search
Michał Zawalski, Michał Tyrolski, Konrad Czechowski +6
Complex reasoning problems contain states that vary in the computational cost required to determine a good action plan. Taking advantage of this property, we propose Adaptive Subgo…
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers
Albert Q. Jiang, Wenda Li, Szymon Tworkowski +5
In theorem proving, the task of selecting useful premises from a large library to unlock the proof of a given conjecture is crucially important. This presents a challenge for all t…
Subgoal Search For Complex Reasoning Tasks
Konrad Czechowski, Tomasz Odrzygóźdź, Marek Zbysiński +5
Humans excel in solving complex reasoning tasks through a mental process of moving from one idea to a related one. Inspired by this, we propose Subgoal Search (kSubS) method. Its k…
Nonplanar isoperimetric inequality for random groups
Tomasz Odrzygóźdź
The goal of this note is to generalize Isoperimetric Inequality for random groups to the class of non-planar diagrams of bounded number of faces.
Bent walls for random groups in the square and hexagonal model
Tomasz Odrzygóźdź
We consider two random group models: the hexagonal model and the square model, defined as the quotient of a free group by a random set of reduced words of length four and six respe…