Tootfinder

ExpliCIT-QA: Explainable Code-Based Image Table Question Answering
Maximiliano Hormaz\'abal Lagos, \'Alvaro Bueno S\'aez, Pedro Alonso Doval, Jorge Alcalde Vesteiro, H\'ector Cerezo-Costas
https://arxiv.org/abs/2507.11694

ExpliCIT-QA: Explainable Code-Based Image Table Question Answering
We present ExpliCIT-QA, a system that extends our previous MRT approach for tabular question answering into a multimodal pipeline capable of handling complex table images and providing explainable answers. ExpliCIT-QA follows a modular design, consisting of: (1) Multimodal Table Understanding, which uses a Chain-of-Thought approach to extract and transform content from table images; (2) Language-based Reasoning, where a step-by-step explanation in natural language is generated to solve the prob…

Anthem 2.0: Automated Reasoning for Answer Set Programming
Jorge Fandinno, Christoph Glinzer, Zachary Hansen, Jan Heuer, Yuliya Lierler, Vladimir Lifschitz, Torsten Schaub, Tobias Stolzmann
https://arxiv.org/abs/2507.11704

Anthem 2.0: Automated Reasoning for Answer Set Programming
Anthem 2.0 is a tool to aid in the verification of logic programs written in an expressive fragment of Clingo's input language named mini-gringo, which includes arithmetic operations and simple choice rules but not aggregates. It can translate logic programs into formula representations in the logic of here-and-there, and analyze properties of logic programs such as tightness. Most importantly, Anthem 2.0 can support program verification by invoking first-order theorem provers to confirm that a…

Short question to anyone with a Mobilizon account:
If I send you from Mastodon a private message, are you able to receive it / read it in Mobilzon? Thx.
(I'm still waiting for an answer, so maybe it's just not working...)
#fediverse #mastodon

On a question of Ab\'ert and Vir\'ag
Jorge Fari\~na-Asategui
https://arxiv.org/abs/2505.23142 https://arxiv.org/pdf/2505.2314…

On a question of Abért and Virág
Abért and Virág proved in 2005 that the Hausdorff dimension of a non-trivial normal subgroup of a level-transitive 1-dimensional subgroup of the group of $p$-adic automorphisms $W_p$ is always 1. They further asked whether the same holds replacing 1-dimensional with positive dimensional. On the one hand, we provide a negative answer in general by giving counterexamples where the non-trivial normal subgroups are not all 1-dimensional. Furthermore, these counterexamples are pro-$p$ subgroups …

Communicating Smartly in Molecular Communication Environments: Neural Networks in the Internet of Bio-Nano Things
Jorge Torres G\'omez, Pit Hofmann, Lisa Y. Debus, Osman Tugay Ba\c{s}aran, Sebastian Lotter, Roya Khanzadeh, Stefan Angerbauer, Bige Deniz Unluturk, Sergi Abadal, Werner Haselmayr, Frank H. P. Fitzek, Robert Schober, Falko Dressler
ht…

Communicating Smartly in Molecular Communication Environments: Neural Networks in the Internet of Bio-Nano Things
Recent developments in the Internet of Bio-Nano Things (IoBNT) are laying the groundwork for innovative applications across the healthcare sector. Nanodevices designed to operate within the body, managed remotely via the internet, are envisioned to promptly detect and actuate on potential diseases. In this vision, an inherent challenge arises due to the limited capabilities of individual nanosensors; specifically, nanosensors must communicate with one another to collaborate as a cluster. Aiming…