🎯 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
GaloisInc/parameterized-utils
github.com·7h
🧮Algebraic Datatypes
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·2d·
Discuss: Hacker News
📝Concrete Syntax
Reviving Lost Tongues: AI-Powered Grammar for Language Preservation
dev.to·9h·
Discuss: DEV
🌳Context free grammars
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·22h
🎯Proof Tactics
Revisiting Long-context Modeling from Context Denoising Perspective
arxiv.org·5h
🔢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·13h·
Discuss: DEV
🌳Context free grammars
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·7h·
Discuss: Hacker News, r/neovim
🔗Lisp
Linguistic Characteristics of AI-Generated Text: A Survey
arxiv.org·5h
📝Text Parsing
Structured Cognition for Behavioral Intelligence in Large Language Model Agents: Preliminary Study
arxiv.org·5h
🧠Intelligence Compression
Context Matters: Learning Global Semantics for Visual Reasoning and Comprehension
arxiv.org·5h
📊Learned Metrics
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·2d
🧮Kolmogorov Complexity
Evaluating the Sensitivity of LLMs to Harmful Contents in Long Input
arxiv.org·5h
📝ABNF Extensions
Understanding the 4 Main Approaches to LLM Evaluation (From Scratch)
magazine.sebastianraschka.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
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·5h
💻Local LLMs
Detecting Semantic Clones of Unseen Functionality
arxiv.org·1d
🔗Binary Similarity
Detecting Distillation Data from Reasoning Models
arxiv.org·1d
⚙️ABNF Mining
Peeking inside the Black-Box: Reinforcement Learning for Explainable and Accurate Relation Extraction
arxiv.org·5h
🔍Information Retrieval