Think DSP second edition
allendowney.com·13h
⚙Functional Programming
Flag this post
Artificial intelligence: Nirvana or apocalypse?
mathscholar.org·8h
🧫Cellular Automata
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·2d·
Discuss: Hacker News
⚙Functional Programming
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.org·51m
🔗Parser Combinators
Flag this post
Complex QA and language models hybrid architectures, Survey
arxiv.org·1d
🔗Parser Combinators
Flag this post
I Got Tired of Deceptive Casino Bonuses, So I Built a "Truth Calculator" with Vanilla JavaScript. Here's How You Can Too.
dev.to·13h·
Discuss: DEV
🧮Programming Language Theory
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
🧭SMT Solvers
Flag this post
7 Prompt Engineering Tricks to Mitigate Hallucinations in LLMs
machinelearningmastery.com·1d
🧩Theorem Proving
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·5d
🧭SMT Solvers
Flag this post
I Use AI
ben.stolovitz.com·15h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
Efficient Curvature-aware Graph Network
arxiv.org·1d
🕸️Graph Theory
Flag this post
Not Over Or Under Indexed
lesswrong.com·6h
🗄️Database Theory
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·51m
🎲Probabilistic Programming
Flag this post
Q-Sat AI: Machine Learning-Based Decision Support for Data Saturation in Qualitative Studies
arxiv.org·51m
🎲Probabilistic Programming
Flag this post
Approximation by Certain Complex Nevai Operators : Theory and Applications
arxiv.org·51m
⚙Functional Programming
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.org·2d
🎲Probabilistic Programming
Flag this post
Spatial Reasoning Unleashed: Causal Language Models for Smarter Spatial Data
dev.to·20h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·12h·
Discuss: DEV
🧭SMT Solvers
Flag this post