Tootfinder

Brushstrokes and Tensor Products: Painting with a Monoidal Category
Khyathi Komalan
https://arxiv.org/abs/2508.05482 https://arxiv.org/pdf/2508.05482

Brushstrokes and Tensor Products: Painting with a Monoidal Category
This article offers an intuitive introduction to monoidal categories through the lens of painting, presenting abstract mathematical concepts with visual and tactile analogies. Aimed at curious undergraduates and non-specialists, it seeks to demystify category theory by showing how ideas like the tensor product, associators, and braidings can be understood as compositional tools on a canvas.

Investigating DNA words and their distributions across the tree of life
Charalampos Koilakos, Kimonas Provatas, Michail Patsakis, Aris Karatzikos, Ilias Georgakopoulos-Soares
https://arxiv.org/abs/2509.05539

Investigating DNA words and their distributions across the tree of life
The frequency distributions of DNA k-mers are shaped by fundamental biological processes and offer a window into genome structure and evolution. Inspired by analogies to natural language, prior studies have attempted to model genomic k-mer usage using Zipf's law, a rank-frequency law originally formulated for words in human language. However, the extent to which this law accurately captures the distribution of k-mers across diverse species remains unclear. Here, we systematically analyze k-mer …

Oruga: An Avatar of Representational Systems Theory
Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C-H. Cheng
https://arxiv.org/abs/2509.04041

Oruga: An Avatar of Representational Systems Theory
Humans use representations flexibly. We draw diagrams, change representations and exploit creative analogies across different domains. We want to harness this kind of power and endow machines with it to make them more compatible with human use. Previously we developed Representational Systems Theory (RST) to study the structure and transformations of representations. In this paper we present Oruga (caterpillar in Spanish; a symbol of transformation), an implementation of various aspects of RST.…

Reasoning under uncertainty in the game of Cops and Robbers
Dazhu Li, Sujata Ghosh, Fenrong Liu
https://arxiv.org/abs/2508.00004 https://arxiv.org/pdf/2508…

Reasoning under uncertainty in the game of Cops and Robbers
The game of Cops and Robbers is an important model for studying computational queries in pursuit-evasion environments, among others. As recent logical explorations have shown, its structure exhibits appealing analogies with modal logic. In this paper, we enrich the game with a setting in which players may have imperfect information. We propose a new formal framework, Epistemic Logic of Cops and Robbers (ELCR), to make the core notions of the game precise, for instance, players' positions, obser…

From Code to Concept: Evaluating Multiple Coordinated Views in Introductory Programming
Naaz Sibia, Valeria Ramirez Osorio, Jessica Wen, Rutwa Engineer, Angela Zavaleta Bernuy, Andrew Petersen, Michael Liut, Carolina Nobre
https://arxiv.org/abs/2509.26466

From Code to Concept: Evaluating Multiple Coordinated Views in Introductory Programming
Novice programmers often struggle to understand how code executes and to form the abstract mental models necessary for effective problem-solving, challenges that are amplified in large, diverse introductory courses where students' backgrounds, language proficiencies, and prior experiences vary widely. This study examines whether interactive, multi-representational visualizations, combining synchronized code views, memory diagrams, and conceptual analogies, can help manage cognitive load and fos…

Modelling Analogies and Analogical Reasoning: Connecting Cognitive Science Theory and NLP Research
Molly R Petersen, Claire E Stevenson, Lonneke van der Plas
https://arxiv.org/abs/2509.09381

Modelling Analogies and Analogical Reasoning: Connecting Cognitive Science Theory and NLP Research
Analogical reasoning is an essential aspect of human cognition. In this paper, we summarize key theory about the processes underlying analogical reasoning from the cognitive science literature and relate it to current research in natural language processing. While these processes can be easily linked to concepts in NLP, they are generally not viewed through a cognitive lens. Furthermore, we show how these notions are relevant for several major challenges in NLP research, not directly related to…

The Nature of Reasoning in Theology, Philosophy, and Mathematics
Chad R. Mangum
https://arxiv.org/abs/2508.20297 https://arxiv.org/pdf/2508.20297

The Nature of Reasoning in Theology, Philosophy, and Mathematics
This article supports the epistemological claim that sound human reasoning about ultimate knowledge is either foundational or circularly justified. In particular, questions which naturally arise in theology, philosophy, and related disciplines, to the extent that they rationally treat ultimate knowledge, are necessarily supported in one of these ways. Comparisons with, contrasts to, and analogies from mathematics are given to illustrate and enhance this central claim.

Towards the State Space Interpretation (SSI): A Formalized Framework for Game Studies and Design
Zhenghao Wang, Shuo Xiong
https://arxiv.org/abs/2509.17610 https://

Towards the State Space Interpretation (SSI): A Formalized Framework for Game Studies and Design
In this paper, we establish structural analogies between core concepts in quantum mechanics and games. By constructing the Quantum Coin Toss on a quantum circuit, we preliminarily investigate the similarity between quantum system behavior and game behavior, thereby formulating the state-operation paradigm. Using this paradigm, we introduce the conceptual prototype of the State Space Interpretation (SSI). Based on mathematical and physical theories, particularly linear algebra, quantum mechanics…

HATS: Hindi Analogy Test Set for Evaluating Reasoning in Large Language Models
Ashray Gupta, Rohan Joseph, Sunny Rai
https://arxiv.org/abs/2507.13238 https…

HATS: Hindi Analogy Test Set for Evaluating Reasoning in Large Language Models
Analogies test a model's ability to infer implicit relationships between concepts, making them a key benchmark for evaluating reasoning capabilities. While large language models (LLMs) are widely evaluated for reasoning in English, their abilities in Indic languages remain understudied, limiting our understanding of whether these models generalize across languages. To address this gap, we introduce a new Hindi Analogy Test Set (HATS), comprising 405 multiple-choice questions sourced from Indian…

Architecting Human-AI Cocreation for Technical Services -- Interaction Modes and Contingency Factors
Jochen Wulf, Jurg Meierhofer, Frank Hannich
https://arxiv.org/abs/2507.14034

Architecting Human-AI Cocreation for Technical Services -- Interaction Modes and Contingency Factors
Agentic AI systems, powered by Large Language Models (LLMs), offer transformative potential for value co-creation in technical services. However, persistent challenges like hallucinations and operational brittleness limit their autonomous use, creating a critical need for robust frameworks to guide human-AI collaboration. Drawing on established Human-AI teaming research and analogies from fields like autonomous driving, this paper develops a structured taxonomy of human-agent interaction. Based…