2 citations · 2 across the 7 of their papers we have counts for
4 papers · 1 filter
Every pooling rule has its world: matching probability combination rules to situations and stakes
Tanel Tammet, Priit Järv, Dirk Draheim
Systems often need to combine two numerical assessments of the same yes/no question. The appropriate formula depends on what the numbers represent and on how the sources are relate…
Structure-Preserving Uncertainty Propagation in First-Order Proof Search
Tanel Tammet
GK is a query-directed first-order prover that extends ordinary resolution-based proof search with explicit positive and negative claims, numerical confidence values, and prioritiz…
The Scaling Properties of Implicit Deductive Reasoning in Transformers
Enrico Vompa, Tanel Tammet
We investigate the scaling properties of implicit deductive reasoning over Horn clauses in depth-bounded Transformers. By discouraging the reliance on statistical shortcuts via cou…
Symbolic Grounding Reveals Representational Bottlenecks in Abstract Visual Reasoning
Mohit Vaishnav, Tanel Tammet
Vision--language models (VLMs) often fail on abstract visual reasoning benchmarks such as Bongard problems, raising the question of whether the main bottleneck lies in reasoning or…