2 papers
cs.CL2026
ARC-AGI-2 Technical Report
Wallyson Lemes de Oliveira, Mekhron Bobokhonov, Matteo Caorsi +10
The Abstraction and Reasoning Corpus (ARC) is designed to assess generalization beyond pattern matching, requiring models to infer symbolic rules from very few examples. In this wo…
math.GR2012
CAT(0) geometry for the Thompson Group
Dan-Titus Salajan
We investigate Farley's CAT(0) cubical model for Thompson's group F (we adopt the classical language of F, using binary trees and piecewise linear maps). Main results include: in g…