📊 Datalog - hello · Scour

Foundations of the GraphAlg Language 📏Linear Types

arxiv.org·19h

DBAIOps: A Reasoning LLM-Enhanced Database Operation and Maintenance System using Knowledge Graphs 🕸️Knowledge Graphs

vldb.org·3d

Beyond Vector Search: Building a Deterministic 3-Tiered Graph-RAG System 🎯Qdrant

machinelearningmastery.com·4d

Program Analysis: A Pragmatic Approach 🔬Static Analysis

homes.cs.washington.edu·6d·Lobsters

Knowledge Graphs, Part II 🕸️Knowledge Graphs

jessicatalisman.substack.com

Inductive Reasoning for Temporal Knowledge Graphs with Emerging Entities 🕸️Knowledge Graphs

arxiv.org·19h

A Categorical Basis for Robust Program Analysis 🔬Static Analysis

arxiv.org·19h

A Mechanistic Analysis of Looped Reasoning Language Models 🌳Pratt Parsing

arxiv.org·19h

Time is Not a Label: Continuous Phase Rotation for Temporal Knowledge Graphs and Agentic Memory ⚓Anchors

arxiv.org·19h

Automating Structural Analysis Across Multiple Software Platforms Using Large Language Models 🌳Tree-sitter

arxiv.org·19h

EA-Agent: A Structured Multi-Step Reasoning Agent for Entity Alignment 📝Parsing

arxiv.org·19h

DataSTORM: Deep Research on Large-Scale Databases using Exploratory Data Analysis and Data Storytelling 🔥DataFusion

arxiv.org·5d

Toward a universal foundation model for graph-structured data 🕸️Knowledge Graphs

arxiv.org·5d

Introduction to Relational Event Modelling 🔄Concurrency Models

arxiv.org·5d

Logical Robots: Declarative Multi-Agent Programming in Logica 📐TLA+

arxiv.org·5d

ReLU Networks for Exact Generation of Similar Graphs 🕸️GraphBLAS

arxiv.org·6d

AutoLALA: Automatic Loop Algebraic Locality Analysis for AI and HPC Kernels 🔍KLEE

arxiv.org·6d

LLM-based Schema-Guided Extraction and Validation of Missing-Person Intelligence from Heterogeneous Data Sources 📊HyperLogLog

arxiv.org·5d

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation 🏗️MLIR

arxiv.org·5d

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery 🔍KLEE

arxiv.org·5d