Search Results - "Odrzygóźdź, Tomasz"

Cubulating random groups in the square model by Odrzygóźdź, Tomasz

“…Our main result is that for densities < 3/10 a random group in the square model has the Haagerup property and is residually finite. Moreover, we generalize the…”
Get full text

A half-page derivation of the Thomas precession by Dragan, Andrzej, Odrzygóźdź, Tomasz

Get full text

Nonplanar isoperimetric inequality for random groups by Odrzygóźdź, Tomasz

“…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…”
Get full text

Bent walls for random groups in the square and hexagonal model by Odrzygóźdź, Tomasz

“…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…”
Get full text

Cubulating random groups in the square model by Odrzygóźdź, Tomasz

“…Our main result is that for densities $<\frac{3}{10}$ a random group in the square model has the Haagerup property and is residually finite. Moreover, we…”
Get full text

The square model for random groups by Odrzygóźdź, Tomasz

“…We introduce a new random group model called the square model: we quotient a free group on $n$ generators by a random set of relations, each of which is a…”
Get full text

Mixture of Tokens: Continuous MoE through Cross-Example Aggregation by Antoniak, Szymon, Krutul, Michał, Pióro, Maciej, Krajewski, Jakub, Ludziejewski, Jan, Ciebiera, Kamil, Król, Krystian, Odrzygóźdź, Tomasz, Cygan, Marek, Jaszczur, Sebastian

“…Mixture of Experts (MoE) models based on Transformer architecture are pushing the boundaries of language and vision tasks. The allure of these models lies in…”
Get full text

Scaling Laws for Fine-Grained Mixture of Experts by Krajewski, Jakub, Ludziejewski, Jan, Adamczewski, Kamil, Pióro, Maciej, Krutul, Michał, Antoniak, Szymon, Ciebiera, Kamil, Król, Krystian, Odrzygóźdź, Tomasz, Sankowski, Piotr, Cygan, Marek, Jaszczur, Sebastian

“…Mixture of Experts (MoE) models have emerged as a primary solution for reducing the computational cost of Large Language Models. In this work, we analyze their…”
Get full text

Subgoal Search For Complex Reasoning Tasks by Czechowski, Konrad, Odrzygóźdź, Tomasz, Zbysiński, Marek, Zawalski, Michał, Olejnik, Krzysztof, Wu, Yuhuai, Kuciński, Łukasz, Miłoś, Piotr

“…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…”
Get full text

Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal Search by Zawalski, Michał, Tyrolski, Michał, Czechowski, Konrad, Odrzygóźdź, Tomasz, Stachura, Damian, Piękos, Piotr, Wu, Yuhuai, Kuciński, Łukasz, Miłoś, Piotr

“…Complex reasoning problems contain states that vary in the computational cost required to determine a good action plan. Taking advantage of this property, we…”
Get full text

Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers by Jiang, Albert Q, Li, Wenda, Tworkowski, Szymon, Czechowski, Konrad, Odrzygóźdź, Tomasz, Miłoś, Piotr, Wu, Yuhuai, Jamnik, Mateja

“…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…”
Get full text

Half-page derivation of the Thomas precession by Dragan, Andrzej, Odrzygóźdź, Tomasz

“…Instantaneous derivation of the Thomas precession with only basic vector calculus…”
Get full text

Trust, but Verify: Alleviating Pessimistic Errors in Model-Based Exploration by Czechowski, Konrad, Odrzygozdz, Tomasz, Izworski, Michal, Zbysinski, Marek, Kucinski, Lukasz, Milos, Piotr

“…We propose trust-but-verify (TBV) mechanism, a new method which uses model uncertainty estimates to guide exploration. The mechanism augments graph search…”
Get full text