SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
arxiv.org·8h
🏗️Compiler Archaeology
Transformer-Gather, Fuzzy-Reconsider: A Scalable Hybrid Framework for Entity Resolution
arxiv.org·8h
📋Document Grammar
Identity Types
bartoszmilewski.com·23h·
Discuss: Hacker News
🔤Type Theory
Token Models as Statistical Simulations: A Different Take
medium.com·1d·
Discuss: Hacker News
💻Local LLMs
Automated Contractual Dispute Resolution via Hybrid Symbolic-Probabilistic Reasoning for Ship Brokering
dev.to·11h·
Discuss: DEV
✓Automated Theorem Proving
Extending Automatic Machine Translation Evaluation to Book-Length Documents
arxiv.org·8h
⚙️Compression Benchmarking
SongPrep: A Preprocessing Framework and End-to-end Model for Full-song Structure Parsing and Lyrics Transcription
arxiv.org·8h
🎵Audio ML
LingoDB – Data Processing with Compiler Technology
lingo-db.com·2d·
Discuss: Hacker News
🔨Compilers
Taking a Look at Compression Algorithms
cefboud.com·1d·
Discuss: Hacker News, Hacker News, r/programming
📦Deflate
AttnComp: Attention-Guided Adaptive Context Compression for Retrieval-Augmented Generation
arxiv.org·8h
⚙️Compression Benchmarking
Enhancing Financial RAG with Agentic AI and Multi-HyDE: A Novel Approach to Knowledge Retrieval and Hallucination Reduction
arxiv.org·8h
📋Document Grammar
HICode: Hierarchical Inductive Coding with LLMs
arxiv.org·8h
⛏️Grammar Mining
LongCat-Flash-Thinking, LLM from Meituan (China's Equivalent of Uber Eats)
github.com·4h·
Discuss: Hacker News
🌊Streaming Algorithms
Adhesive category theory for graph rewriting in Rocq
arxiv.org·8h
🔀Category Theory
Variation in Verification: Understanding Verification Dynamics in Large Language Models
arxiv.org·8h
🧪Binary Fuzzing
Unlock Document Intelligence: Powering Decision-Making with AI-driven RAG
dev.to·1d·
Discuss: DEV
🤖Archive Automation
SiDiaC: Sinhala Diachronic Corpus
arxiv.org·8h
📜Binary Philology
NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning
arxiv.org·8h
🧠Learned Codecs
DocIQ: A Benchmark Dataset and Feature Fusion Network for Document Image Quality Assessment
arxiv.org·8h
🤖Advanced OCR
Make Every Letter Count: Building Dialect Variation Dictionaries from Monolingual Corpora
arxiv.org·8h
🎙️Whisper