🌳 Git Internals - matmat · Scour

Ares II: Tracing the Flaws of a (Storage) God 💿ZFS Archaeology

D-QRELO: Training- and Data-Free Delta Compression for Large Language Models via Quantization and Residual Low-Rank Approximation 📊Quantization

Optimizing Memory Allocation in Distributed Clusters with Predictive Modeling 💨Cache Optimization

Compiling Deterministic Structure into SLM Harnesses ⚙️PL Implementation

The decompressed tree size of $k$-ary chains 🌳Huffman Trees

Automatic Code and Test Generation of Smart Contracts from Coordination Models ⚔️Lean Tactics

Cloud-native and Distributed Systems for Efficient and Scalable Large Language Models -- A Research Agenda 🌊Streaming Systems

Physics-Informed Causal MDPs for Sequential Constraint Repair in Engineering Simulation Pipelines ⚡Z3 Optimization

DeepParse: Hybrid Log Parsing with LLM-Synthesized Regex Masks 📝Log Parsing

Formally Verified Patent Analysis via Dependent Type Theory: Machine-Checkable Certificates from a Hybrid AI + Lean 4 Pipeline ⚡Proof Automation

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications ⏰Temporal Logic

YAIFS: Yet (not) Another Intelligent Fog Simulator: A Framework for Agent-Driven Computing Continuum Modeling & Simulation 🔲Cellular Automata

Log in to enable infinite scrolling