Reflecting on the State of Rehearsal-free Continual Learning with Pretrained Models
arxiv.org·6h
🗺️Region Inference
SignalLLM: A General-Purpose LLM Agent Framework for Automated Signal Processing
arxiv.org·6h
✨Gleam
Proof Rules for MetaSMT
philipzucker.com·1d
🧮Theorem Provers
CompileBench: Can AI Compile 22-year-old Code?
simonwillison.net·15h
🎯99-Line Tools
Spiffy: Multiplying Diffusion LLM Acceleration via Lossless Speculative Decoding
arxiv.org·6h
🗺️Region Inference
Theory Meets Practice for Bit Vectors Supporting Rank and Select
arxiv.org·6h
🎯Bit Vectors
Vanishing of Schubert coefficients in probabilistic polynomial time
arxiv.org·6h
🧮Combinator Calculus
LiteRSan: Lightweight Memory Safety Via Rust-specific Program Analysis and Selective Instrumentation
arxiv.org·6h
🔒Rust Borrowing
Hyperbolic Sets in Incomplete Tables
arxiv.org·6h
📐Succinct Data Structures
Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs
arxiv.org·6h
🎲Property Testing
Substrate-Timing-Independence for Meta-State Stability of Distributed Robotic Swarms
arxiv.org·6h
🏰Capability Machines
Generalized DP-colorings of digraphs
arxiv.org·6h
🎨Graph Coloring
Deep Synthetic Cross-Project Approaches for Software Reliability Growth Modeling
arxiv.org·6h
📊Code Metrics
Self-Supervised Learning of Graph Representations for Network Intrusion Detection
arxiv.org·6h
🗺️Region Inference
A Comparative Study of Different Edit Distance-Based Methods for Feature Tracking using Merge Trees on Time-Varying Scalar Fields
arxiv.org·6h
🌳Tree Algorithms
Virtual Arc Consistency for Linear Constraints inCost Function Networks
arxiv.org·6h
🧩Constraint Solvers
r/AI_Central
reddit.com·5h·
Discuss: r/AI_Central
🧠Memory Models
Enabling Deterministic Inference for SGLang
lmsys.org·1d
🗺️Region Inference
Toward Engineering AGI: Benchmarking the Engineering Design Capabilities of LLMs
arxiv.org·6h
🎨Domain-Specific Languages
GraphWeave: Interpretable and Robust Graph Generation via Random Walk Trajectories
arxiv.org·6h
🪢Rope Data Structures