Tootfinder

The compact double category $\mathbf{Int}(\mathbf{Poly}_*)$ models control flow and data transformations
Grigory Kondyrev, David I. Spivak
https://arxiv.org/abs/2509.05462 https…

The compact double category $\mathbf{Int}(\mathbf{Poly}_*)$ models control flow and data transformations
Hasegawa showed that control flow in programming languages -- while loops and if-then-else statements -- can be modeled using traced cocartesian categories, such as the category $\mathbf{Set}_*$ of pointed sets. In this paper we define an operad $\mathscr{W}$ of wiring diagrams that provides syntax for categories whose control flow moreover includes data transformations, including deleting, duplicating, permuting, and applying pre-specified functions to variables. In the most basic version, the…

DART: Dual Adaptive Refinement Transfer for Open-Vocabulary Multi-Label Recognition
Haijing Liu, Tao Pu, Hefeng Wu, Keze Wang, Liang Lin
https://arxiv.org/abs/2508.05585 https:/…

DART: Dual Adaptive Refinement Transfer for Open-Vocabulary Multi-Label Recognition
Open-Vocabulary Multi-Label Recognition (OV-MLR) aims to identify multiple seen and unseen object categories within an image, requiring both precise intra-class localization to pinpoint objects and effective inter-class reasoning to model complex category dependencies. While Vision-Language Pre-training (VLP) models offer a strong open-vocabulary foundation, they often struggle with fine-grained localization under weak supervision and typically fail to explicitly leverage structured relational …

An Alternative Model for Coherent Sheaves over Noetherian Schemes
Ron Held
https://arxiv.org/abs/2507.03139 https://arxiv.org/pdf/250…

An Alternative Model for Coherent Sheaves over Noetherian Schemes
The category of coherent sheaves over a noetherian scheme is very important for studying the properties of a given scheme. For noetherian schemes it is a well-known fact that the topology can be fully recovered from the corresponding partially ordered set of its points together with the specializaion partial order. Here we show that the same thing holds for the category of coherent sheaves over a noetherian scheme, i.e. there exists an equivalent description of this category in the "language" o…

Dynamical systems as enriched functors
Suddhasattwa Das, Tomoharu Suda
https://arxiv.org/abs/2509.05900 https://arxiv.org/pdf/2509.05900

Dynamical systems as enriched functors
This article presents a general description of dynamical systems using the language of enriched functors and enriched natural transformations. This framework is essential to establish the equivalence of three descriptions of dynamics -- a semigroup action on the domain; a parameterized family of endomorphisms; and a transformation of time-space into the collection of endomorphisms. A collection of categorical axioms are presented that provides a complete categorical language to develop dynamica…

Adapting Language Models to Indonesian Local Languages: An Empirical Study of Language Transferability on Zero-Shot Settings
Rifki Afina Putri
https://arxiv.org/abs/2507.01645

Adapting Language Models to Indonesian Local Languages: An Empirical Study of Language Transferability on Zero-Shot Settings
In this paper, we investigate the transferability of pre-trained language models to low-resource Indonesian local languages through the task of sentiment analysis. We evaluate both zero-shot performance and adapter-based transfer on ten local languages using models of different types: a monolingual Indonesian BERT, multilingual models such as mBERT and XLM-R, and a modular adapter-based approach called MAD-X. To better understand model behavior, we group the target languages into three categori…

Using Large Language Models to Simulate Human Behavioural Experiments: Port of Mars
Oliver Slumbers, Joel Z. Leibo, Marco A. Janssen
https://arxiv.org/abs/2506.05555

Using Large Language Models to Simulate Human Behavioural Experiments: Port of Mars
Collective risk social dilemmas (CRSD) highlight a trade-off between individual preferences and the need for all to contribute toward achieving a group objective. Problems such as climate change are in this category, and so it is critical to understand their social underpinnings. However, rigorous CRSD methodology often demands large-scale human experiments but it is difficult to guarantee sufficient power and heterogeneity over socio-demographic factors. Generative AI offers a potential comple…

Understanding and Mitigating Errors of LLM-Generated RTL Code
Jiazheng Zhang, Cheng Liu, Huawei Li
https://arxiv.org/abs/2508.05266 https://arxiv.org/pdf/2…

Understanding and Mitigating Errors of LLM-Generated RTL Code
Despite the promising potential of large language model (LLM) based register-transfer-level (RTL) code generation, the overall success rate remains unsatisfactory. Errors arise from various factors, with limited understanding of specific failure causes hindering improvement. To address this, we conduct a comprehensive error analysis and manual categorization. Our findings reveal that most errors stem not from LLM reasoning limitations, but from insufficient RTL programming knowledge, poor under…

Wall-crossing for Calabi-Yau fourfolds: framework, tools, and applications
Arkadij Bojko
https://arxiv.org/abs/2507.05922 https://arx…

Wall-crossing for Calabi-Yau fourfolds: framework, tools, and applications
This work develops new ideas and tools to establish wall-crossing in Calabi-Yau four categories as originally conjectured by Gross-Joyce-Tanaka. In the process, I set up some necessary new language, including a natural refinement of Joyce's vertex algebras to equivariant homology. The proof is then given for Calabi-Yau four dg-quivers and local CY fourfolds. A crucial part of the problem is showing that the generalized invariants counting stable objects are well-defined. Using a conceptual argu…

Internal languages of locally cartesian closed $(\infty,1)$-categories
El Mehdi Cherradi
https://arxiv.org/abs/2509.03371 https://arxiv.org/pdf/2509.03371

Internal languages of locally cartesian closed $(\infty,1)$-categories
We establish a DK-equivalence between the relative category of $π$-tribes and the relative category of locally cartesian closed quasicategories. From this follows one of the internal languages conjecture: Martin-Löf type theory with dependent sums, intensional identity types, and dependent products satisfying functional extensionality is the internal language of locally cartesian closed $(\infty,1)$-categories.

Eka-Eval : A Comprehensive Evaluation Framework for Large Language Models in Indian Languages
Samridhi Raj Sinha, Rajvee Sheth, Abhishek Upperwal, Mayank Singh
https://arxiv.org/abs/2507.01853

Eka-Eval : A Comprehensive Evaluation Framework for Large Language Models in Indian Languages
The rapid advancement of Large Language Models (LLMs) has intensified the need for evaluation frameworks that go beyond English centric benchmarks and address the requirements of linguistically diverse regions such as India. We present EKA-EVAL, a unified and production-ready evaluation framework that integrates over 35 benchmarks, including 10 Indic-specific datasets, spanning categories like reasoning, mathematics, tool use, long-context understanding, and reading comprehension. Compared to e…