🎯 Dependent Parsing

Context-sensitive Grammars, Type-dependent Syntax, Proof-carrying Parsers, Verified Parsing

Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·4h
📊Graph Databases
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·1d
🔗Monadic Parsing
What LLMs Know About Their Users
schneier.com·7h·
Discuss: Hacker News
💻Local LLMs
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·8h·
Discuss: Hacker News, r/programming
🔗Lisp
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·14h
🔍Type Inference
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
SLR: An Automated Synthesis Framework for Scalable Logical Reasoning
arxiv.org·2d
📏Linear Logic
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Cactus Language • Syntax 10
inquiryintoinquiry.com·3d
📝Concrete Syntax
Named Entity Recognition using Bidirectional LSTM and Conditional Random Fields
dev.to·3d·
Discuss: DEV
🤖Grammar Induction
Visual hallucination detection in large vision-language models via evidential conflict
arxiv.org·14h
📊Learned Metrics
The more LLMs think, the worse they translate
nuenki.app·6h·
Discuss: Hacker News
⚙️Compression Benchmarking
Programming Entry Level: how to interpreter
dev.to·19h·
Discuss: DEV
🔗Lisp
Detecting Machine-Generated Texts: Not Just "AI vs Humans" and Explainability is Complicated
arxiv.org·14h
🧮Kolmogorov Complexity
SUTRA: Decoupling Concept & Language for Multilingual LLM Excellence
hackernoon.com·2h
💻Local LLMs
Rewriting the Ruby Parser
railsatscale.com·4d·
Discuss: Hacker News
🔗Monadic Parsing
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
QueueEDIT: Structural Self-Correction for Sequential Model Editing in LLMs
arxiv.org·1d
🔗Monadic Parsing
Leveraging Large Language Models for Information Verification -- an Engineering Approach
arxiv.org·1d
📋Document Grammar