🎯 Dependent Parsing

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

AwesomeAssertions/AwesomeAssertions
github.com·1d
✅Format Verification
As chatbots improve, humans' unique language abilities are becoming less special
phys.org·2d
🤖Grammar Induction
Intermediate Zig Build
rdunnington.github.io·50m·
Discuss: Hacker News
⚙️Build Archaeology
The Architecture of Open Source Applications (Volume 1) Battle for Wesnoth
aosabook.org·14h·
Discuss: Hacker News
🔒WASM Capabilities
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·22h
📜Proof Carrying Code
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.org·2d
✨Effect Handlers
Synthesizing Reality: Leveraging the Generative AI-Powered Platform Midjourney for Construction Worker Detection
arxiv.org·2h
🤖Advanced OCR
Using LLVM To Supercharge AI Model Execution On Edge Devices
hackernoon.com·21h
🏭Compiler Backends
Ask HN: I built a Wordle-like game that uses your photos and offline AI
news.ycombinator.com·11h·
Discuss: Hacker News
🎙️Whisper
Natural Language Processing from Basics to Advanced: The Complete Guide for Innovators
dev.to·4d·
Discuss: DEV
📝Text Parsing
Ambiguity-Aware and High-Order Relation Learning for Multi-Grained Image-Text Matching
arxiv.org·3d
🤖Advanced OCR
Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
arxiv.org·2d
💾Binary Linguistics
DPNO: A Dual Path Architecture For Neural Operator
arxiv.org·2h
📊Quantization
A Discrete Analog of Tutte's Barycentric Embeddings on Surfaces
arxiv.org·2h
🌐Computational Topology
AirLLM: Diffusion Policy-based Adaptive LoRA for Remote Fine-Tuning of LLM over the Air
arxiv.org·2d
💻Local LLMs
Supporting SEN\'{C}OTEN Language Documentation Efforts with Automatic Speech Recognition
arxiv.org·2d
🎙️Whisper
Funnel-HOI: Top-Down Perception for Zero-Shot HOI Detection
arxiv.org·2h
🤖Advanced OCR
Using AI to replicate human experimental results: a motion study
arxiv.org·3d
💻Programming languages
Protocols for Verifying Smooth Strategies in Bandits and Games
arxiv.org·2d
🎯Performance Proofs
Partial decidability protocol for the Wang tiling problem from statistical mechanics and chaotic mapping
arxiv.org·2h
🎯Performance Proofs