20 citations · 23 across the 7 of their papers we have counts for
9 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…
Cubulating random groups in the square model
Tomasz Odrzygóźdź
Our main result is that for densities a random group in the square model has the Haagerup property and is residually finite. Moreover, we generalize the Isoperimetr…
The square model for random groups
Tomasz Odrzygóźdź
We introduce a new random group model called the square model: we quotient a free group on generators by a random set of relations, each of which is a reduced word of length fo…
Half-page derivation of the Thomas precession
Andrzej Dragan, Tomasz Odrzygóźdź
Instantaneous derivation of the Thomas precession with only basic vector calculus.