🐪 OCaml GADTs

Generalized Algebraic Data Types, Type Witnesses, Pattern Matching, ML

Github Repository for Top LLM Datasets
analyticsvidhya.com·2d
🔍ML Language
r/AI_Central
reddit.com·1d·
Discuss: r/AI_Central
🧠Memory Models
6G Twin: Hybrid Gaussian Radio Fields for Channel Estimation and Non-Linear Precoder Design for Radio Access Networks
arxiv.org·2h
📡Async Channels
MLF-4DRCNet: Multi-Level Fusion with 4D Radar and Camera for 3D Object Detection in Autonomous Driving
arxiv.org·2h
🔍Lens Libraries
Your Code is a Minefield: Let's Talk About Kotlin's Sealed Classes
dev.to·1d·
Discuss: DEV
🔀Control Structures
Turk-LettuceDetect: A Hallucination Detection Models for Turkish RAG Applications
arxiv.org·1d
📊LR Parsing
Spiffy: Multiplying Diffusion LLM Acceleration via Lossless Speculative Decoding
arxiv.org·1d
🗺️Region Inference
OrthoLoC: UAV 6-DoF Localization and Calibration Using Orthographic Geodata
arxiv.org·2h
🗑️Stack Scanning GC
GPO: Learning from Critical Steps to Improve LLM Reasoning
arxiv.org·1d
🪜Recursive Descent
Real-time Deer Detection and Warning in Connected Vehicles via Thermal Sensing and Deep Learning
arxiv.org·2h
✨Effect Inference
Autonomous Data Agents: A New Opportunity for Smart Data
arxiv.org·2h
🎓Educational Databases
GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
arxiv.org·1d
🚂Cranelift IR
OnePiece: Bringing Context Engineering and Reasoning to Industrial Cascade Ranking System
arxiv.org·1d
🏷️Attribute Grammars
Why ETL Becomes ELT or Even LET?
dev.to·1d·
Discuss: DEV
📋Souffle Datalog
Automated High-Throughput Organoid Maturation Scoring via Spatiotemporal Feature Extraction
dev.to·3h·
Discuss: DEV
✨Effect Inference
Training-free Truthfulness Detection via Value Vectors in LLMs
arxiv.org·1d
🔍ML Language
Enhanced Acoustic Anomaly Detection for Underwater Mine Countermeasures via Multi-Modal Fusion & Bayesian Filtering
dev.to·1d·
Discuss: DEV
📊Log Parsers
Adaptive Fast-and-Slow Visual Program Reasoning for Long-Form VideoQA
arxiv.org·1d
🗺️Region Inference
CogAtom: From Cognitive Atoms to Olympiad-level Mathematical Reasoning in Large Language Models
arxiv.org·1d
🔗Concatenative Theory
ChartHal: A Fine-grained Framework Evaluating Hallucination of Large Vision Language Models in Chart Understanding
arxiv.org·1d
📈Earley Parsing