LaDiR: Latent Diffusion Enhances LLMs for Text Reasoning
arxiv.org·3h
💻Local LLMs
Self-Extracting F3
buttondown.com·13h·
Discuss: Hacker News
✅Format Verification
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·1d·
Discuss: Hacker News
🕸️Knowledge Graphs
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·10h·
Discuss: DEV
⚡SMT Applications
Cactus Language • Semantics 1
inquiryintoinquiry.com·14h
🔢Denotational Semantics
Language Support for Marginalia Search
marginalia.nu·1d
🔍BitFunnel
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·15h·
Discuss: Hacker News
💻Local LLMs
Embedding Lua in Nim
lambdacreate.com·19h
🦀Rust Macros
Culture, Language, and Generative Language Models
cacm.acm.org·17h
🤖Grammar Induction
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·3h
💻Programming languages
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
📝Concrete Syntax
Declarative Partial Updates Proposal
github.com·12h·
Discuss: Hacker News
🎬WebCodecs
Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.com·14h·
Discuss: Lobsters, Hacker News, r/programming
⚡Modern Compression
Generalization of LiNGAM that allows confounding
arxiv.org·3h
🔗Monadic Parsing
Learning to Route: A Rule-Driven Agent Framework for Hybrid-Source Retrieval-Augmented Generation
arxiv.org·1d
🔍Information Retrieval
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·3h
🔗Parser Combinators
Can an LLM Induce a Graph? Investigating Memory Drift and Context Length
arxiv.org·3h
💻Local LLMs
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·3h
⚡Proof Automation
An Senegalese Legal Texts Structuration Using LLM-augmented Knowledge Graph
arxiv.org·1d
📜Digital Philology
Small Language Models for Agentic Systems: A Survey of Architectures, Capabilities, and Deployment Trade offs
arxiv.org·3h
⚙️TLA+