← Search

Aryo Lotfi

6 accepted papers

2026

RL for Reasoning by Adaptively Revealing Rationales

ICLR 2026poster

Learning in the combinatorially large output space of sequence generation problems is challenging as providing expert demonstrations scales poorly with sequence length, and RL struggles with sparse rewards. Between dense demonstrations in supervised training and no demonstrations in reinforcement l…

Cited by 0SourceScholar
2026

To Infinity and Beyond: Tool-Use Unlocks Length Generalization in State Space Models

ICLR 2026oral

State Space Models (SSMs) have become the leading alternative to Transformers for sequence modeling tasks. Their primary advantage is efficiency in long-context and long-form generation, enabled by fixed-size memory and linear scaling of computational complexity. We begin this work by showing a simp…

Cited by 0SourceScholar
2024

How Far Can Transformers Reason? The Globality Barrier and Inductive Scratchpad

NeurIPS 2024poster

Can Transformers predict new syllogisms by composing established ones? More generally, what type of targets can be learned by such models from scratch? Recent works show that Transformers can be Turing-complete in terms of expressivity, but this does not address the learnability objective. This pape…

2023

Generalization on the Unseen, Logic Reasoning and Degree Curriculum

ICML 2023oral

This paper considers the learning of logical (Boolean) functions with focus on the generalization on the unseen (GOTU) setting, a strong case of out-of-distribution generalization. This is motivated by the fact that the rich combinatorial nature of data in certain reasoning tasks (e.g., arithmetic/l…

2023

Provable Advantage of Curriculum Learning on Parity Targets with Mixed Inputs

NeurIPS 2023poster

Experimental results have shown that curriculum learning, i.e., presenting simpler examples before more complex ones, can improve the efficiency of learning. Some recent theoretical results also showed that changing the sampling distribution can help neural networks learn parities, with formal resul…

2022

Learning to Reason with Neural Networks: Generalization, Unseen Data and Boolean Measures

NeurIPS 2022accept

This paper considers the Pointer Value Retrieval (PVR) benchmark introduced in [ZRKB21], where a `reasoning' function acts on a string of digits to produce the label. More generally, the paper considers the learning of logical functions with gradient descent (GD) on neural networks. It is first show…