Playing around with org-db-v3 and consult: vector search of my blog post Org files, with previews
sachachua.com·13h
⏱️Interval Archives
Flag this post
Lore Laundering Machines - by Ben Recht - arg min
argmin.net·2d
🎯Performance Proofs
Flag this post
Text2SQL is dead – long live text2SQL
🚚Data Migration
Flag this post
Reverse engineering Kilter board app
🔓Reverse engineering
Flag this post
Improving Human Verification of LLM Reasoning through Interactive Explanation Interfaces
arxiv.org·1d
✓Automated Theorem Proving
Flag this post
How Reliable Are Your AI Agents?
⚙️Proof Engineering
Flag this post
CHOIR: Collaborative Harmonization fOr Inference Robustness
arxiv.org·1d
📊HyperLogLog
Flag this post
Exploring Structures of Inferential Mechanisms through Simplistic Digital Circuits
arxiv.org·1d
🔲Cellular Automata
Flag this post
ENTP: Enhancing Low-Quality SFT Data via Neural-Symbolic Text Purge-Mix
arxiv.org·1d
🧮SMT Solvers
Flag this post
LLMs Are Bottlenecked by Linear Interfaces
📏Linear Logic
Flag this post
Think Twice: Branch-and-Rethink Reasoning Reward Model
arxiv.org·1d
⚡Incremental Computation
Flag this post
Incentivizing Agentic Reasoning in LLM Judges via Tool-Integrated Reinforcement Learning
arxiv.org·1d
🔗Parser Combinators
Flag this post
We built a vector search engine that lets you choose precision at query time
🌳Trie Structures
Flag this post
Water Cooler Small Talk, Ep. 9: What “Thinking” and “Reasoning” Really Mean in AI and LLMs
towardsdatascience.com·23h
✓Automated Theorem Proving
Flag this post
Reasoning's Razor: Reasoning Improves Accuracy but Can Hurt Recall at Critical Operating Points in Safety and Hallucination Detection
arxiv.org·2d
🔬Logic in Computer Science
Flag this post
PICOs-RAG: PICO-supported Query Rewriting for Retrieval-Augmented Generation in Evidence-Based Medicine
arxiv.org·9h
🔍Information Retrieval
Flag this post
Artificial Intelligence Based Predictive Maintenance for Electric Buses
arxiv.org·9h
🧠Machine Learning
Flag this post
Loading...Loading more...