🎯 Dependent Parsing

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

10 Command-Line Tools Every Data Scientist Should Know
kdnuggets.com·4h
🤖Archive Automation
SAT problems are kind of cool
blog.karanjanthe.me·21m·
Discuss: Hacker News
🧮SMT Solvers
TypeScript Flaws (2024)
intercaetera.com·1d·
Discuss: Hacker News
🎯Gradual Typing
AI Just Got Better at Counting Trees
hackernoon.com·9h
🌀Hyperbolic Geometry
Characteristic Learning for Provable One Step Generation
arxiv.org·1d
🤖Grammar Induction
Optimizing Long-Form Clinical Text Generation with Claim-Based Rewards
arxiv.org·2d
📋Document Grammar
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·1d
✓Automated Theorem Proving
Can LLMs Detect Ambiguous Plural Reference? An Analysis of Split-Antecedent and Mereological Reference
arxiv.org·1d
🔗Monadic Parsing
A Fuzzy Logic-Based Framework for Explainable Machine Learning in Big Data Analytics
arxiv.org·12h
🧠Machine Learning
TROLL: Trust Regions improve Reinforcement Learning for Large Language Models
arxiv.org·1d
🧮Kolmogorov Bounds
Fast Leave-One-Out Approximation from Fragment-Target Prevalence Vectors (molFTP) : From Dummy Masking to Key-LOO for Leakage-Free Feature Construction
arxiv.org·12h
🧮SMT Solvers
Scalable In-context Ranking with Generative Models
arxiv.org·12h
⚖️Feed Ranking
Harnessing LLM for Noise-Robust Cognitive Diagnosis in Web-Based Intelligent Education Systems
arxiv.org·1d
🧠Intelligence Compression
A Low-Resource Speech-Driven NLP Pipeline for Sinhala Dyslexia Assistance
arxiv.org·1d
🎙️Whisper
A Trustworthy Industrial Fault Diagnosis Architecture Integrating Probabilistic Models and Large Language Models
arxiv.org·1d
🧠Machine Learning
Small Language Models for Agentic Systems: A Survey of Architectures, Capabilities, and Deployment Trade offs
arxiv.org·1d
⚙️TLA+
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
arxiv.org·1d
⚡Incremental Computation
COSMIR: Chain Orchestrated Structured Memory for Iterative Reasoning over Long Context
arxiv.org·1d
🌀Brotli Internals
Causal Abstractions, Categorically Unified
arxiv.org·1d
✨Effect Handlers
Simulating and Understanding Deceptive Behaviors in Long-Horizon Interactions
arxiv.org·1d
✨Algebraic Effects