Showing 2026Show all
3 papers · 1 filter
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…
cs.LG2026
Scaling Categorical Flow Maps
Oscar Davis, Anastasiia Filippova, Pierre Ablin +4
Continuous diffusion and flow matching models could represent a powerful alternative to autoregressive approaches for language modelling (LM), as they unlock a host of advantages c…