Basketball trivia, editing distances, and derangement
leancrew.com·9h
🌳Trie Structures
Show HN: CodeLens.AI– Community benchmark comparing 6 LLMs on real code tasks
codelens.ai·15h·
Discuss: Hacker News
⚙️Compression Benchmarking
How Much Should You Tell Your AI Agent?
raymondyxu.com·3d·
Discuss: Hacker News
⚡Proof Automation
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·4d·
Discuss: Hacker News
🎯Interactive Provers
Precision Irrigation Optimization via Reinforcement Learning and Real-Time Soil Moisture Mapping
dev.to·15h·
Discuss: DEV
☕Precision Brewing
The Hidden Oracle Inside Your AI: Unveiling Data Density with Latent Space Magic by Arvind Sundararajan
dev.to·3h·
Discuss: DEV
🧠Machine Learning
Collaborative and Proactive Management of Task-Oriented Conversations
arxiv.org·1d
📏Linear Logic
From Neural Activity to Computation: Biological Reservoirs for Pattern Recognition in Digit Classification
arxiv.org·1d
🔲Cellular Automata
Wave-PDE Nets: Trainable Wave-Equation Layers as an Alternative to Attention
arxiv.org·2d
🌀Differential Geometry
LATTA: Langevin-Anchored Test-Time Adaptation for Enhanced Robustness and Stability
arxiv.org·1d
📊Quantization
Learning to Route: A Rule-Driven Agent Framework for Hybrid-Source Retrieval-Augmented Generation
arxiv.org·3d
🔍Information Retrieval
A Low-Resource Speech-Driven NLP Pipeline for Sinhala Dyslexia Assistance
arxiv.org·2d
🎙️Whisper
[WEBINAR] | Building Self-Optimizing AI Agents
dev.to·4h·
Discuss: DEV
⚡Incremental Computation
To model human linguistic prediction, make LLMs less superhuman
arxiv.org·1d
🧠Intelligence Compression
Cluster Paths: Navigating Interpretability in Neural Networks
arxiv.org·1h
🧠Machine Learning
Bamboo: LLM-Driven Discovery of API-Permission Mappings in the Android Framework
arxiv.org·2d
🔒WASM Capabilities
Building Vajra: My Journey Creating an AI Coding Assistant
dev.to·2h·
Discuss: DEV
⚡gRPC
The Automatic Door System: With Statements Explained
dev.to·3h·
Discuss: DEV
🧠Program Logic
Surgeons Are Indian Males and Speech Therapists Are White Females: Auditing Biases in Vision-Language Models for Healthcare Professionals
arxiv.org·1h
🏛Digital humanities
A Hierarchical Geometry-guided Transformer for Histological Subtyping of Primary Liver Cancer
arxiv.org·1d
🌀Hyperbolic Geometry