Bloom filters are good for search that does not scale
notpeerreviewed.com·21h·
🔤Kleene Algebra
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·2d·
Discuss: Hacker News
🔍CBMC
Flag this post
Low-Level Hacks
blog.raycursive.com·15h·
Discuss: Hacker News
🐫Embedded OCaml
Flag this post
Building a Multimodal RAG That Responds with Text, Images, and Tables from Sources
towardsdatascience.com·21h
🧩Parser Combinators
Flag this post
Branched Signature Model
arxiv.org·12h
🕸️Graph Theory
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.org·12h
🧩Parser Combinators
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·12h
🎮Verification Games
Flag this post
Automatic Minds: Cognitive Parallels Between Hypnotic States and Large Language Model Processing
arxiv.org·12h
📚Automata Learning
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·12h
Automated Theorem Proving
Flag this post
Identifying the Periodicity of Information in Natural Language
arxiv.org·1d
📚Automata Learning
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·12h
🕸️Graph Theory
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·12h
🎯Hindley-Milner
Flag this post
InertialAR: Autoregressive 3D Molecule Generation with Inertial Frames
arxiv.org·1d
⚙️Compiler Design
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·12h
🎯Hindley-Milner
Flag this post
Belief Dynamics Reveal the Dual Nature of In-Context Learning and Activation Steering
arxiv.org·12h
📚Automata Learning
Flag this post
Auditing LLM Editorial Bias in News Media Exposure
arxiv.org·1d
Automated Theorem Proving
Flag this post
Deployable Vision-driven UAV River Navigation via Human-in-the-loop Preference Alignment
arxiv.org·12h
🤖Robotics
Flag this post
Math's New Muse: AI as a Reasoning Partner
dev.to·1d·
Discuss: DEV
Automated Theorem Proving
Flag this post
Finding Non-Redundant Simpson's Paradox from Multidimensional Data
arxiv.org·12h
🎨GADTs
Flag this post