Barriers between you and I?
languagelog.ldc.upenn.edu·2d
🔗Concatenative Languages
Improving Temporal Understanding Logic Consistency in Video-Language Models via Attention Enhancement
arxiv.org·1d
📊Learned Metrics
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
Relational Transformer: Toward Zero-Shot Foundation Models for Relational Data
arxiv.org·2d
🧠Learned Indexes
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·7h·
Discuss: DEV
⚙️Proof Engineering
From RNNs to ChatGPT: The Paper That Changed How AI Thinks 🤖
dev.to·12h·
Discuss: DEV
🎧Learned Audio
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·15h·
Discuss: DEV
📊Multi-vector RAG
CoMAS: Co-Evolving Multi-Agent Systems via Interaction Rewards
arxiv.org·1d
🔲Cellular Automata
LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval
arxiv.org·2d
📊Learned Metrics
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·9h·
Discuss: DEV
⚡Incremental Computation
CIR-CoT: Towards Interpretable Composed Image Retrieval via End-to-End Chain-of-Thought Reasoning
arxiv.org·1d
🧮Vector Embeddings
DEGS: Deformable Event-based 3D Gaussian Splatting from RGB and Event Stream
arxiv.org·1d
🌀Differential Geometry
Categorical Invariants of Learning Dynamics
arxiv.org·4d
🕸️Algebraic Topology
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·9h·
Discuss: DEV
🔍Concolic Testing
Linguistic Patterns in Pandemic-Related Content: A Comparative Analysis of COVID-19, Constraint, and Monkeypox Datasets
arxiv.org·1d
💾Binary Linguistics
ChainMPQ: Interleaved Text-Image Reasoning Chains for Mitigating Relation Hallucinations
arxiv.org·2d
🧮Kolmogorov Complexity
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org·2d
⚛️Quantum Algorithms
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.org·2d
💻Programming languages
M\"obius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
arxiv.org·3d
🕸️Graph Algorithms