Tootfinder

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
Kazuki Watanabe, Mayuko Kori, Taro Sekiyama, Satoshi Kura, Hiroshi Unno
https://arxiv.org/abs/2510.11320

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
We propose a categorical framework for linear-time temporal verification of effectful higher-order programs, including probabilistic higher-order programs. Our framework provides a generic denotational reduction -- namely, a denotational product construction -- from linear-time safety verification of effectful higher-order programs to computation of weakest pre-conditions of product programs. This reduction enables us to apply existing algorithms for such well-studied computations of weakest pr…

Generic continuum model formalism for moir\'e superlattice systems
Bo Xie, Jianqi Huang, Jianpeng Liu
https://arxiv.org/abs/2509.11747 https://arxiv.or…

Generic continuum model formalism for moiré superlattice systems
The moiré superlattice system provides an excellent platform for exploring various novel quantum phenomena. To theoretically tackle the diverse correlated and topological states emerging from moiré superlattices, one usually adopts an effective low-energy continuum model based on which the electron-electron effects are further considered. However, the construction of an accurate continuum model remains a challenging task, particularly for complex moiré superlattices such as twisted transitio…

PromptFlow: Training Prompts Like Neural Networks
Jingyi Wang, Hongyuan Zhu, Ye Niu, Yunhui Deng
https://arxiv.org/abs/2510.12246 https://arxiv.org/pdf/251…

PromptFlow: Training Prompts Like Neural Networks
Large Language Models (LLMs) have demonstrated profound impact on Natural Language Processing (NLP) tasks. However, their effective deployment across diverse domains often require domain-specific adaptation strategies, as generic models may underperform when faced with specialized data distributions. Recent advances in prompt engineering (PE) offer a promising alternative to extensive retraining by refining input instructions to align LLM outputs with task objectives. This paradigm has emerged …

BandFuzz: An ML-powered Collaborative Fuzzing Framework
Wenxuan Shi, Hongwei Li, Jiahao Yu, Xinqian Sun, Wenbo Guo, Xinyu Xing
https://arxiv.org/abs/2507.10845

BandFuzz: An ML-powered Collaborative Fuzzing Framework
Collaborative fuzzing has recently emerged as a technique that combines multiple individual fuzzers and dynamically chooses the appropriate combinations suited for different programs. Unlike individual fuzzers, which rely on specific assumptions to maintain their effectiveness, collaborative fuzzing relaxes the assumptions on target programs, providing constant and robust performance across various programs. Ideally, collaborative fuzzing should be a more promising direction toward generic fuzz…

Real-Time Remote Tracking with State-Dependent Detection Probability: A POMDP Framework
Jiapei Tian, Abolfazl Zakeri, Marian Codreanu, David Gundleg{\aa}rd
https://arxiv.org/abs/2509.09837

Real-Time Remote Tracking with State-Dependent Detection Probability: A POMDP Framework
We consider a real-time tracking system where a binary Markov source is monitored by two heterogeneous sensors. Upon command, sensors send their observations to a remote sink over error-prone channels. We assume each sensor exhibits state-dependent detection accuracy and may occasionally fail to detect the source state. At most one sensor is scheduled for sampling at each time slot. We assess the effectiveness of data communication using a generic distortion function that captures the end appli…

Black Hole Ringdown Amplitudescopy
Francesco Crescimbeni, Xisco Jimenez-Forteza, Paolo Pani
https://arxiv.org/abs/2510.11782 https://arxiv.org/pdf/2510.117…

Black Hole Ringdown Amplitudescopy
Black hole ringdowns in extensions of General Relativity (GR) generically exhibit two distinct signatures: (1) theory-dependent shifts in the standard black-hole quasinormal modes, and (2) additional modes arising from extra fundamental fields --such as scalar, vector, or tensor degrees of freedom-- that can also contribute to the gravitational-wave signal. As recently argued, in general both effects are present simultaneously, and accurately modeling them is essential for robust tests of GR in…

LLM-Specific Utility: A New Perspective for Retrieval-Augmented Generation
Hengran Zhang, Keping Bi, Jiafeng Guo, Jiaming Zhang, Shuaiqiang Wang, Dawei Yin, Xueqi Cheng
https://arxiv.org/abs/2510.11358

LLM-Specific Utility: A New Perspective for Retrieval-Augmented Generation
Retrieval-augmented generation (RAG) enhances large language models (LLMs) by incorporating external knowledge. While traditional retrieval focuses on relevance, RAG's effectiveness depends on the utility of retrieved passages, i.e., the usefulness in facilitating the generation of an accurate and comprehensive answer. Existing studies often treat utility as a generic attribute, ignoring the fact that different LLMs may benefit differently from the same passage due to variations in internal kno…

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
Yichen Xu, Oliver Bra\v{c}evac, Cao Nguyen Pham, Martin Odersky
https://arxiv.org/abs/2509.07609

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
Capturing types in Scala unify static effect and resource tracking with object capabilities, enabling lightweight effect polymorphism with minimal notational overhead. However, their expressiveness has been insufficient for tracking capabilities embedded in generic data structures, preventing them from scaling to the standard collections library -- an essential prerequisite for broader adoption. This limitation stems from the inability to name capabilities within the system's notion of box type…

Furthering Free-Fermion Findability From Fratricides
Jannis Ruh, Samual J. Elman
https://arxiv.org/abs/2509.09092 https://arxiv.org/pdf/2509.09092

Furthering Free-Fermion Findability From Fratricides
We present a novel graph-theoretic approach to simplifying generic many-body Hamiltonians. Our primary result introduces a recursive twin-collapse algorithm, leveraging the identification and elimination of symmetric vertex pairs (twins), as well as line-graph modules, within the frustration graph of the Hamiltonian. This method systematically block-diagonalizes Hamiltonians, significantly reducing complexity while preserving the energetic spectrum. Importantly, our approach expands the class o…

Quantum Zeno effect versus adiabatic quantum computing and quantum annealing
Naser Ahmadiniaz, Dennis Kraft, Gernot Schaller, Ralf Sch\"utzhold
https://arxiv.org/abs/2509.04057

Quantum Zeno effect versus adiabatic quantum computing and quantum annealing
For the adiabatic version of Grover's quantum search algorithm as proposed by Roland and Cerf, we study the impact of decoherence caused by a rather general coupling to some environment. For quite generic conditions, we find that the quantum Zeno effect poses strong limitations on the performance (quantum speed-up) since the environment effectively measures the state of the system permanently and thereby inhibits or slows down quantum transitions. Generalizing our results, we find that analogou…