2 citations · 2 across the 7 of their papers we have counts for
4 papers · 1 filter
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…
Extending Automated Deduction for Commonsense Reasoning
Tanel Tammet
Commonsense reasoning has long been considered as one of the holy grails of artificial intelligence. Most of the recent progress in the field has been achieved by novel machine lea…