🎯 Dependent Parsing

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

10 Command-Line Tools Every Data Scientist Should Know
kdnuggets.com·1d
🤖Archive Automation
SAT problems are kind of cool
blog.karanjanthe.me·1d·
Discuss: Hacker News
🧮SMT Solvers
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org·1d·
Discuss: Hacker News
🔒Language-based security
AI Just Got Better at Counting Trees
hackernoon.com·1d
🌀Hyperbolic Geometry
Day 06 of My AI & Data Mastery Journey: From Python to Generative AI
dev.to·1h·
Discuss: DEV
⚡Proof Automation
Curriculum Learning with Synthetic Data for Enhanced Pulmonary Nodule Detection in Chest Radiographs
arxiv.org·1h
👁️OCR Enhancement
What's new in Python 3.14
docs.python.org·2d·
Discuss: Hacker News, Hacker News
🌳Incremental Parsing
OpenAI Agent Builder: Step-by-step guide to building agents with MCP
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Read Between the Lines: A Benchmark for Uncovering Political Bias in Bangla News Articles
arxiv.org·3d
⚙️Compression Benchmarking
Categorical Invariants of Learning Dynamics
arxiv.org·3d
🕸️Algebraic Topology
Front-Loading Reasoning: The Synergy between Pretraining and Post-Training Data
arxiv.org·3d
🧠Machine Learning
Shaken or Stirred? An Analysis of MetaFormer's Token Mixing for Medical Imaging
arxiv.org·2d
📄Document Streaming
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.org·3d
🧮Kolmogorov Complexity
Aligning Language Models with Clinical Expertise: DPO for Heart Failure Nursing Documentation in Critical Care
arxiv.org·2d
🔄Archival Workflows
Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling
arxiv.org·2d
🧮Kolmogorov Bounds
An enough week
blog.mitrichev.ch·9h·
Discuss: blog.mitrichev.ch
📈Linear programming
Extreme Amodal Face Detection
arxiv.org·1d
🌀Differential Geometry
ResAD: Normalized Residual Trajectory Modeling for End-to-End Autonomous Driving
arxiv.org·1h
🌀Riemannian Computing
GRACE: Generative Representation Learning via Contrastive Policy Optimization
arxiv.org·3d
📊HyperLogLog
Pathology-CoT: Learning Visual Chain-of-Thought Agent from Expert Whole Slide Image Diagnosis Behavior
arxiv.org·3d
🤖Advanced OCR