🎯 Dependent Parsing

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

The Gold Medals in an Empty Room: Diagnosing Metalinguistic Reasoning in LLMs with Camlang
arxiv.org·1d
🔤Type Theory
I made a transformer by hand (no training)
vgel.me·21h·
Discuss: Hacker News
🤖Grammar Induction
Fir is getting useful
osa1.net·1d
🌳Context free grammars
Java is a "Tower of Babel" language.
guidewiredevelopment.wordpress.com·1d·
Discuss: Substack
🔗Concatenative Programming
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·22h
🎯Performance Proofs
Automated Reproducibility Validation via Federated Graph Neural Networks & HyperScore Ranking
dev.to·2h·
Discuss: DEV
🎯Performance Proofs
LLMs encode theory-of-mind: a study on sparse parameter patterns
nature.com·1h·
Discuss: Hacker News
📏Linear Logic
Small Language Models are the Future of Agentic AI
machinelearningmastery.com·14h
💻Local LLMs
Counterfactual Sensitivity for Faithful Reasoning in Language Models
arxiv.org·1d
🛡️Proof-Carrying Archives
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·22h
⏰Temporal Logic
Learning Mechanism Underlying NLP Pre-Training and Fine-Tuning
arxiv.org·22h
🤖Grammar Induction
The (sometimes rocky) road to a paper
lmao.bearblog.dev·11h·
Discuss: Hacker News
🎯Performance Proofs
Writing a C compiler in 500 lines of Python
vgel.me·1d·
Discuss: Hacker News, r/programming
🦀Rust Macros
Understanding Transformers Using a Minimal Example
rti.github.io·1d·
Discuss: Hacker News, r/programming
📝Text Parsing
MobileNetV1 Paper Walkthrough: The Tiny Giant
towardsdatascience.com·8h
⧗Information Bottleneck
A friendly starter paper - Entropy-Guided Loop: Achieving Reasoning through Uncertainty-Aware Generation [R]
reddit.com·2d·
Discuss: r/MachineLearning
🔗Constraint Handling
iText 9.4.0 Brings LOTL Functionality for Seamless EU PDF Signature Validation
kb.itextpdf.com·13h·
Discuss: Hacker News
✅Format Verification
Prompt sensitivity is more nuanced (and useful) than we think
newsletter.aimuscle.com·1d·
Discuss: Hacker News
⚡Proof Automation
Automating Security Research: AI Engine Exploits Complex Blind Code Injection
blog.ostorlab.co·15h·
Discuss: Hacker News
⚡Proof Automation
Curse of Knowledge: When Complex Evaluation Context Benefits yet Biases LLM Judges
arxiv.org·22h
✨Effect Handlers