🎯 Dependent Parsing

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

Feeds to Scour
SubscribedAll
Systematic Framework of Application Methods for Large Language Models in Language Sciences
arxiv.org·2d
🌲Parse Trees
Preview
Report Post
3 Feature Engineering Techniques for Unstructured Text Data
machinelearningmastery.com·20h
📝Text Embeddings
Preview
Report Post
My experience with Lean 4 for general programming
quamserena.com·2d·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·1d
✅Format Verification
Preview
Report Post
I Fed 24 Years of My Blog Posts to a Markov Model
susam.net·13h
🦀Rust Macros
Preview
Report Post
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·1d
⚔️Lean Tactics
Preview
Report Post
A Rust CLI Program, Use It with LLM and Convert It to Web UI
binwang.me·3d
📝Concrete Syntax
Preview
Report Post
There are things that AIs understand and no human can
jovex.substack.com·18h·
Discuss: Substack
🔲Cellular Automata
Preview
Report Post
PICK for Regular Expressions
blog.brownplt.org·1d
🔍RegEx Engines
Preview
Report Post
AutoMedic: An Automated Evaluation Framework for Clinical Conversational Agents with Medical Dataset Grounding
arxiv.org·1d
⚡Proof Automation
Preview
Report Post
Building a "Bullshit Detector" for LLMs using Node.js and pgvector
dev.to·2d·
Discuss: DEV
🧪Binary Fuzzing
Preview
Report Post
Asynchronous Reasoning: Training-Free Interactive Thinking LLMs
arxiv.org·1d
✓Automated Theorem Proving
Preview
Report Post
Friday 16 January 2026 - 11am
informatics.ed.ac.uk·2d
🗣️CMU Pronouncing
Preview
Report Post
LDP: Parameter-Efficient Fine-Tuning of Multimodal LLM for Medical Report Generation
arxiv.org·1d
🧮Kolmogorov Complexity
Preview
Report Post
Interpretable Embeddings with Sparse Autoencoders: A Data Analysis Toolkit
arxiv.org·1d
📝Text Embeddings
Preview
Report Post
Indexed Reverse Polish Notation, an Alternative to AST
burakemir.ch·17h·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
From Alternation to FPRAS: Toward a Complexity Classification of Approximate Counting
arxiv.org·1d
🎯Performance Proofs
Preview
Report Post
IRG-MotionLLM: Interleaving Motion Generation, Assessment and Refinement for Text-to-Motion Generation
arxiv.org·1d
🤖Advanced OCR
Preview
Report Post
GLACIA: Instance-Aware Positional Reasoning for Glacial Lake Segmentation via Multimodal Large Language Model
arxiv.org·2d
🧮Kolmogorov Complexity
Preview
Report Post
RNA language models can generalize well on structure prediction tasks
nature.com·4d·
Discuss: Hacker News
🤖Grammar Induction
Preview
Report Post