Tootfinder

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
Alessandro Bertagnon, Marcello Dalpasso, Michele Favalli, Marco Gavanelli
https://arxiv.org/abs/2507.11150

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
In the design of integrated circuits, one critical metric is the maximum delay introduced by combinational modules within the circuit. This delay is crucial because it represents the time required to perform a computation: in an Arithmetic-Logic Unit it represents the maximum time taken by the circuit to perform an arithmetic operation. When such a circuit is part of a larger, synchronous system, like a CPU, the maximum delay directly impacts the maximum clock frequency of the entire system. Ty…

inploid: Inploid: an online social Q&A platform
Inploid is a social question & answer website in Turkish. Users can follow others and see their questions and answers on the main page. Each user is associated with a reputability score which is influenced by feedback of others about questions and answers of the user. Each user can also specify interest in topics. The data is crawled in June 2017 and consist of 39,749 nodes and 57,276 directed links between them. In addition, for …

While judicial nominees often opt not to answer specific questions,
Bove’s refusal to comment on the clear wording of the 22nd amendment should alarm members of the Senate Judiciary Committee -- which is set to vote on Thursday on whether to advance his nomination to full Senate consideration.
Bove’s response — or lack thereof — comes as Trump has frequently expressed interest in running for president again, even saying in interviews that he’s “not joking” about the matter. …

Trump Judicial Nominee Won’t Answer Question on Constitutionality of Third Presidential Term
Trump nominee Emil Bove also faces questions relating to his staff suggesting that the DOJ should ignore court orders.

A Comparative Approach to Assessing Linguistic Creativity of Large Language Models and Humans
Anca Dinu, Andra-Maria Florescu, Alina Resceanu
https://arxiv.org/abs/2507.12039

A Comparative Approach to Assessing Linguistic Creativity of Large Language Models and Humans
The following paper introduces a general linguistic creativity test for humans and Large Language Models (LLMs). The test consists of various tasks aimed at assessing their ability to generate new original words and phrases based on word formation processes (derivation and compounding) and on metaphorical language use. We administered the test to 24 humans and to an equal number of LLMs, and we automatically evaluated their answers using OCSAI tool for three criteria: Originality, Elaboration, …

Path-filtration for modal logics applied to revisiting quasi-dense logics
Olivier Gasquet
https://arxiv.org/abs/2507.11258 https://ar…

Path-filtration for modal logics applied to revisiting quasi-dense logics
In https://arxiv.org/pdf/2405.10094 (also published at LICS'24 conference), Lyon and Ostropolski-Nalewaja answer the question of the decidability of quasi-dense modallogics, and give an upper bound in EXPSPACE. Unfortunately, their intricate proof contains a major flaw that cannot be fixed, leaving the question wide open. In this paper we provide a correct and rather simple and direct proof of it by introducing a new variant of the well-know filtration method based on paths in a canonical model…

Next-Gen Museum Guides: Autonomous Navigation and Visitor Interaction with an Agentic Robot
Luca Garello, Francesca Cocchella, Alessandra Sciutti, Manuel Catalano, Francesco Rea
https://arxiv.org/abs/2507.12273

Next-Gen Museum Guides: Autonomous Navigation and Visitor Interaction with an Agentic Robot
Autonomous robots are increasingly being tested into public spaces to enhance user experiences, particularly in cultural and educational settings. This paper presents the design, implementation, and evaluation of the autonomous museum guide robot Alter-Ego equipped with advanced navigation and interactive capabilities. The robot leverages state-of-the-art Large Language Models (LLMs) to provide real-time, context aware question-and-answer (Q&A) interactions, allowing visitors to engage in conve…

Finite approximation of free groups II: the Theorems of Ash, Herwig-Lascar and Ribes-Zalesskii -- revisited and strengthened
K. Auinger, J. Bitterlich, M. Otto
https://arxiv.org/abs/2507.11685

Finite approximation of free groups II: the Theorems of Ash, Herwig-Lascar and Ribes-Zalesskii -- revisited and strengthened
Relations and interactions between the theorems of Ash, Herwig-Lascar and Ribes-Zalesskii are discussed and it is shown that these three theorems are equivalent in the sense that each of them can be derived from each other one. Some strengthening of these theorems that can be obtained by use of the groups provided by the third author's construction are also considered.

A Review and Comparison of Different Sensitivity Analysis Techniques in Practice
Devin Francom, Abigael Nachtsheim
https://arxiv.org/abs/2506.11471 https:/…

A Review and Comparison of Different Sensitivity Analysis Techniques in Practice
There exist many methods for sensitivity analysis readily available to the practitioner. While each seeks to help the modeler answer the same general question -- How do sources of uncertainty or changes in the model inputs relate to uncertainty in the output? -- different methods are associated with different assumptions, constraints, and required resources, leading to conclusions that may vary in interpretability and level of detail. Thus, it is crucial that the practitioner selects the desire…

Measuring Informativeness Gap of (Mis)Calibrated Predictors
Yiding Feng, Wei Tang
https://arxiv.org/abs/2507.12094 https://arxiv.org/…

Measuring Informativeness Gap of (Mis)Calibrated Predictors
In many applications, decision-makers must choose between multiple predictive models that may all be miscalibrated. Which model (i.e., predictor) is more "useful" in downstream decision tasks? To answer this, our first contribution introduces the notion of the informativeness gap between any two predictors, defined as the maximum normalized payoff advantage one predictor offers over the other across all decision-making tasks. Our framework strictly generalizes several existing notions: it subsu…

Enhance Stability of Network by Edge Anchor
Hongbo Qiu, Renjie Sun, Chen chen, Xiaoyang Wang
https://arxiv.org/abs/2507.11090 https://

Enhance Stability of Network by Edge Anchor
With the rapid growth of online social networks, strengthening their stability has emerged as a key research focus. This study aims to identify influential relationships that significantly impact community stability. In this paper, we introduce and explore the anchor trussness reinforcement problem to reinforce the overall user engagement of networks by anchoring some edges. Specifically, for a given graph $G$ and a budget $b$, we aim to identify $b$ edges whose anchoring maximizes the trussnes…