Tootfinder

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…

Querying Large Automotive Software Models: Agentic vs. Direct LLM Approaches
Lukasz Mazur, Nenad Petrovic, James Pontes Miranda, Ansgar Radermacher, Robert Rasche, Alois Knoll
https://arxiv.org/abs/2506.13171

Querying Large Automotive Software Models: Agentic vs. Direct LLM Approaches
Large language models (LLMs) offer new opportunities for interacting with complex software artifacts, such as software models, through natural language. They present especially promising benefits for large software models that are difficult to grasp in their entirety, making traditional interaction and analysis approaches challenging. This paper investigates two approaches for leveraging LLMs to answer questions over software models: direct prompting, where the whole software model is provided …

Dense Phenomena for Ergodic Schr\"odinger Operators: I. Spectrum, Integrated Density of States, and Lyapunov Exponent
Artur Avila (Universit\"at Z\"urich,IMPA), David Damanik (Rice University)
https://arxiv.org/abs/2506.14259

Dense Phenomena for Ergodic Schrödinger Operators: I. Spectrum, Integrated Density of States, and Lyapunov Exponent
We consider Schrödinger operators in $\ell^2(\Z)$ whose potentials are defined via continuous sampling along the orbits of a homeomorphism on a compact metric space. We show that for each non-atomic ergodic measure $μ$, there is a dense set of sampling functions such that the associated almost sure spectrum has finitely many gaps, the integrated density is smooth, and the Lyapunov exponent is smooth and positive. As a byproduct we answer a question of Walters about the existence of non-unifor…

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…

“Are we the baddies?” is not a question anyone in the West has to ask themselves. There’s no question about it. You were. You are. Will you continue to be? That’s the only question that matters and the answer is entirely up to you.
Silence is complicity.
Inaction is complicity.
Apologism is complicity.
Do something!
#israel

End Israeli Apartheid (@EndIsraeliApartheid@mastodon.social)
Attached: 1 image More RAF jets are being sent to the Middle East, Keir Starmer has said after Iran threatened to target UK, French and US bases if the countries help stop strikes on Israel. Additional refuelling aircraft have been deployed from UK bases and more fast jets will be sent over, it is understood. The UK already has RAF jets in the Middle East as part of Operation Shader. https://www.thenational.scot/news/25239897.uk-jets-sent-middle-east-despite-calls-de-escalation/ 🕎 �…

Y'all were wondering which way the army would break. This is as clear an answer as you're going to get.
This isn't a mistake. It's a message.
Edit: cut out "During drills they were perfectly in time" because I don't have receipts to show. Linking to a longer video in a threads post that shows a bit more intense of a juxtaposition between themselves and the division in front of them. This thread makes the same claim about drills, but I also don't see video.
https://www.threads.com/@davidmorehouse/post/DK7ExrKs5iw?xmt=AQF0w52awa66lUQeIuolzDaz8uSFcMmJLHALm9RZc4P75w
Edit: to clarify a bit, this is one division. The division in front of them in the longer video is in step. This isn't "the whole army is going to refuse" but this may be, "some units are fed up enough to make it clear they don't want to play, which is saying a lot."
Any division that exists needs to be cultivated. The way you cultivate that is absolutely not by lumping them all together. Some of the military voted for Trump, some don't care, some hate him. All of them are being treated like shit right now. All of them swore an oath to defend the constitution. Some of them probably know what that means.
I'm absolutely not a fan of the military, but I will take every opportunity I can to humanize these folks. Look for every opportunity you can to remind them that they are welcome on our side whenever they're ready to actually fulfill their oath, and we will appreciate every subtle bit of resistance they give to those who are violating it in the meantime.

Fast Approximate Rank Determination and Selection with Group Testing
Adiesha Liyanage, Braeden Sopp, Brendan Mumey
https://arxiv.org/abs/2507.12634 https:/…

Fast Approximate Rank Determination and Selection with Group Testing
Suppose that a group test operation is available for checking order relations in a set, can this speed up problems like finding the minimum/maximum element, rank determination and selection? We consider a one-sided group test to be available, where queries are of the form $u \le_Q V$ or $V \le_Q u$, and the answer is `yes' if and only if there is some $v \in V$ such that $u \le v$ or $v \le u$, respectively. We restrict attention to total orders and focus on query-complexity; for min or max fin…

Mode stability for self-similar blowup of slightly supercritical NLS: II. high-energy spectrum
Zexing Li
https://arxiv.org/abs/2507.11259 https://

Mode stability for self-similar blowup of slightly supercritical NLS: II. high-energy spectrum
In continuation of the study of the companion work, we prove the high-energy mode stability for linearized operator around self-similar profiles in [Bahri-Martel-Raphaël, 2021] for slightly mass-supercritical NLS in $1 \le d \le 10$. This concludes the asymptotic stability of such self-similar blowup, and answers the question from [Bahri-Martel-Raphaël, 2021] and [Merle-Raphaël-Szeftel, 2010]. As a byproduct, we characterize the spectrum for linearized operator around mass-critical ground st…

“[T]here can be no debate that most protesters demonstrated peacefully,” he said & that those who were violent were not armed with weapons or organized to overthrow the government.
✅ Q&A on Federalizing the #NationalGuard in #LosAngeles - FactCheck.org

Q&A on Federalizing the National Guard in Los Angeles - FactCheck.org
The disagreement between President Donald Trump and California Gov. Gavin Newsom over Trump deploying state National Guard troops to Los Angeles is now being debated in court. We’ll explain how the situation developed and answer some common questions.

NBC News reports that top Trump adviser ❌Stephen Miller ❌recently eruptedin anger over what he sees as woefully lagging deportation numbers,
privately threatening to fire senior Immigrations and Customs Enforcement officials over it.
He demanded the detention of 3,000 migrants each day, sources told NBC

A sweeping new ICE operation shows how Trump's focus on immigration is reshaping federal law enforcement
In mid-May, White House deputy chief of staff Stephen Miller, frustrated over what he saw as numbers of arrests and deportations of unauthorized immigrants that were too low, berated and threatened to fire senior Immigration and Customs Enforcement officials if they did not begin detaining 3,000 migrants a day, according to two sources who spoke to attendees.