Tootfinder

The estate of David Lynch is currently being auctioned off and I got curious and went through all the things on offer so you don't have to (ok I was just bored but). The stuff I found most intriguing turned out to be his self-made or self-restored furniture, like these:
https://www.…

Can Large Language Models Automate the Refinement of Cellular Network Specifications?
Jianshuo Dong, Tianyi Zhang, Feng Yan, Yuanjie Li, Hewu Li, Han Qiu
https://arxiv.org/abs/2507.04214

Can Large Language Models Automate the Refinement of Cellular Network Specifications?
Cellular networks serve billions of users globally, yet concerns about reliability and security persist due to weaknesses in 3GPP standards. However, traditional analysis methods, including manual inspection and automated tools, struggle with increasingly expanding cellular network specifications. This paper investigates the feasibility of Large Language Models (LLMs) for automated cellular network specification refinement. To advance it, we leverage 200,000+ approved 3GPP Change Requests (CRs)…

Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
Hiromi Ishii (Jij, Inc), Taro Shimizu (Jij, Inc), Toshiki Teramura (Jij, Inc)
https://arxiv.org/abs/2506.06495

Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
In solving mathematical optimization problems efficiently, it is crucial to make use of information about specific types of constraints, such as the one-hot or Special-Ordered Set (SOS) constraints. In many cases, exploiting such information gives asymptotically better execution time. JijModeling, an industrial-strength mathematical optimization modeller, achieves this by separating the symbolic representation of an optimization problem from the input data. In this paper, we will report a real-…

OASBuilder: Generating OpenAPI Specifications from Online API Documentation with Large Language Models
Koren Lazar, Matan Vetzler, Kiran Kate, Jason Tsay, David Boaz Himanshu Gupta, Avraham Shinnar, Rohith D Vallam, David Amid Esther Goldbraich, Guy Uziel, Jim Laredo, Ateret Anaby Tavor
https://arxiv.org/abs/2507.05316

OASBuilder: Generating OpenAPI Specifications from Online API Documentation with Large Language Models
AI agents and business automation tools interacting with external web services require standardized, machine-readable information about their APIs in the form of API specifications. However, the information about APIs available online is often presented as unstructured, free-form HTML documentation, requiring external users to spend significant time manually converting it into a structured format. To address this, we introduce OASBuilder, a novel framework that transforms long and diverse API d…

Domestic Heat Pumps: Barriers to Installation (2022) - A case study in the friction in specifying and installing a heat-pump in the UK, even for a savvy early adopter. #heatpump #netZero #futureReady

Domestic Heat Pumps: Barriers to Installation (2022)
A case study in the friction in specifying and installing a heat-pump in the UK, even for a savvy early adopter. #heatpump #netZero #futureReady

Perturbations of Toeplitz operators on vector-valued Hardy spaces
Arshad Khan, Sneh Lata, Dinesh Singh
https://arxiv.org/abs/2507.05721 https://

Perturbations of Toeplitz operators on vector-valued Hardy spaces
In this article, we completely classify invariant subspaces of certain finite-rank perturbations of Toeplitz operators on vector-valued Hardy spaces. As a byproduct, we describe invariant subspaces, almost invariant subspaces, and nearly invariant subspaces associated with a class of Toeplitz operators in the vector-valued setting. Additionally, we investigate a generalization of the concept of nearly invariant subspaces for the finite defect case.

Weinstein neighbourhood theorems for stratified subspaces
Yael Karshon, Sara B. Tukachinsky, Yoav Zimhony
https://arxiv.org/abs/2507.04897 https://

Weinstein neighbourhood theorems for stratified subspaces
By analogy with Weinstein's neighbourhood theorem, we prove a uniqueness result for symplectic neighbourhoods of a large family of stratified subspaces. This result generalizes existing constructions, e.g., in the search for exotic Lagrangians. Along the way, we prove a strong version of Moser's trick and a (non-symplectic) tubular neighbourhood theorem for these stratified subspaces.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
Valentina Wu, Alexandra Mendes, Alexandre Abreu
https://arxiv.org/abs/2507.03659

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
Formal verification offers strong assurances of software correctness. However, debugging and repairing the underlying faults can be complex and time-consuming when verification fails. Automated Program Repair (APR) aims to ease this by automatically identifying and fixing faults. Traditional APR techniques often depend on test suites for validation, but these may fail to capture all scenarios. In contrast, formal specifications provide stronger correctness criteria for effective repairs. We p…

#photography #bloomScrolling #iris