2 papers
cs.LO2026
Two-Variable Logic with Arbitrarily Many Successor Relations
Jakub Michaliszyn, Piotr Witkowski
We study two-variable first-order logic with a finite, input-dependent number of distinguished successor relations and arbitrary additional unary and binary predicates. Each distin…
cs.AI2026
Efficient Reasoning with Flow Language Models
Hanru Bai, Faissal Izermine, Oscar Davis +1
Flow Language Models (FLMs) have emerged as a continuous-state alternative to discrete diffusion language models, yet the role of their continuous representations in reasoning rema…