🎯 Dependent Parsing

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

Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·1d
⚡Proof Automation
Cactus Language • Semantics 2
inquiryintoinquiry.com·25m
🔢Denotational Semantics
Three Solutions to Nondeterminism in AI
blog.hellas.ai·1h·
Discuss: Hacker News
🎯Performance Proofs
Barriers between you and I?
languagelog.ldc.upenn.edu·1h
🔗Concatenative Languages
GaloisInc/parameterized-utils
github.com·12h
🧮Algebraic Datatypes
Reviving Lost Tongues: AI-Powered Grammar for Language Preservation
dev.to·13h·
Discuss: DEV
🌳Context free grammars
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·1d
🎯Proof Tactics
Revisiting Long-context Modeling from Context Denoising Perspective
arxiv.org·9h
🔢Denotational Semantics
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·1d
💻Programming languages
Beyond Transformers: Can MLPs Unlock the Potential of In-Context Learning?
dev.to·18h·
Discuss: DEV
🌳Context free grammars
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·3d·
Discuss: Hacker News
📝Concrete Syntax
Linguistic Characteristics of AI-Generated Text: A Survey
arxiv.org·9h
📝Text Parsing
Structured Cognition for Behavioral Intelligence in Large Language Model Agents: Preliminary Study
arxiv.org·9h
🧠Intelligence Compression
Context Matters: Learning Global Semantics for Visual Reasoning and Comprehension
arxiv.org·9h
📊Learned Metrics
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·2d
🧮Kolmogorov Complexity
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·12h·
Discuss: Hacker News, r/neovim
🔗Lisp
Evaluating the Sensitivity of LLMs to Harmful Contents in Long Input
arxiv.org·9h
📝ABNF Extensions
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·1d
🔗Parser Combinators
The Alignment Auditor: A Bayesian Framework for Verifying and Refining LLM Objectives
arxiv.org·9h
💻Local LLMs
Detecting Semantic Clones of Unseen Functionality
arxiv.org·1d
🔗Binary Similarity