25 citations · 37 across the 10 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.AI2026
Knowledge transfer between simple discrete worlds
Silvère Gangloff, Jan Hula
Adapting to a new world and reasoning correctly about which outcomes are possible under rules one has not met before is a basic capacity underlying general intelligence. We study i…
cs.LO2026
Proving at Scale for Universal Algebra
João Araújo, Jan Hůla, Mikoláš Janota +2
We introduce SemiBase, a project that computes and formally certifies finite identity bases for small semigroups. Deciding finite basability is undecidable for finite algebras and…
cs.CL2026
Two-dimensional early exit optimisation of LLM inference
Jan Hůla, David Adamczyk, Tomáš Filip +2
We introduce a two-dimensional (2D) early exit strategy that coordinates layer-wise and sentence-wise exiting for classification tasks in large language models. By processing input…