Local Repair
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
Geometric construction of k-optimal locally repairable codes
Announce Type: new Abstract: A linear code is referred to as a locally repairable code (LRC) with locality r if any erased code symbol can be recovered by accessing at most r other code symbols. LRCs are highly desirable for distributed storage systems to enhance repair efficiency. In this paper, we investigate LRCs with disjoint repair sets via the parity-check matrix method.
Locality Does Not Imply Reachability: Boundary Repair in Block-Sparse Causal Attention
arXiv:2606.02680v1 Announce Type: new Abstract: Sparse causal attention is usually described by sequence locality: nearby tokens should remain easy to access, while distant tokens may be dropped to reduce cost. This paper studies a mismatch between sequence locality and attention-graph reachability. In fixed block causal attention, two adjacent tokens can be disconnected in the attention graph at every depth.
Open Repair Data Standard – Open Repair Alliance
The Open Repair Data Standard (ORDS) defines a shared approach towards collecting and sharing repair data about small electricals and electronics. The goal of this standard is to make it easy to combine open data on electronics repair that has been collected by many different groups. Following a common standard helps us to identify trends and patterns globally, and also within countries and regions, by combining data from local community repair events.
HDSL: A Hierarchical Domain-Specific Language for Structured 3D Indoor Scene Generation and Localized Editing with LLM Agents
arXiv:2606.09738v1 Announce Type: new Abstract: Text-driven indoor scene generation and editing require an intermediate representation that language models can both produce and revise. Existing LLM-based systems often rely on scene graphs or global constraint lists, which are compact but underspecify local geometry and make instruction-based edits difficult to localize. We frame this problem as structured program generation and local program repair, and propose Hierarchical Descriptive Scene...
LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization
Announce Type: new Abstract: Long-horizon autoformalization of research mathematics fails not only at hard lemmas, but at scale: statements drift, dependencies tangle, context decays, and local repairs corrupt distant work. We present LeanMarathon, a multi-agent harness for reliable research-level Lean autoformalization. Its core abstraction is an evolving blueprint: a Lean file that serves simultaneously as formal proof skeleton, natural-language proof graph, and shared system of record.
Thai consumer watchdog to file civil suit against Volvo Cars' Thai unit, official says
Thai consumer watchdog to file civil suit against Volvo Cars' Thai unit, official says BANGKOK, June 5 : Thailand's consumer watchdog has approved the filing of a civil lawsuit against the local unit of Volvo Cars and its repair and maintenance unit, Scandinavian Auto Co. Ltd, over battery-related fires in its EX30 model, Pradoemchai Bunchualuai, an adviser to the minister who chairs the watchdog, told Reuters by phone on Friday. The legal move comes after a meeting in Bangkok last month...
Clock that stood silent for 15 years ticks again
The clock at Newburgh Priory that had been frozen at 10:59 for more than a decade is repaired.
School needs new roof just 10 years after opening
It is unclear where pupils will go while it is repaired, with several options being considered.
School needs new roof just 10 years after opening
It is unclear where pupils will go while it is repaired, with several options being considered.
Beyond Accuracy: Behavioral Dynamics of Agentic Multi-Hunk Repair
arXiv:2511.11012v2 Announce Type: replace Abstract: Automated program repair has traditionally focused on single-hunk defects, overlooking multi-hunk bugs that are prevalent in real-world systems. Repairing these bugs requires coordinated edits across multiple, disjoint code regions, posing substantially greater challenges. We present the first systematic study of LLM-driven coding agents (Claude Code, Codex, Gemini-cli, and Qwen Code) on this task.