Z3 Applications, Satisfiability Modulo Theories, Constraint Programming, Automated Reasoning

Playing around with org-db-v3 and consult: vector search of my blog post Org files, with previews
sachachua.com·1d
⏱️Interval Archives
Flag this post
Text2SQL is dead – long live text2SQL
exasol.com·1d·
Discuss: Hacker News
🚚Data Migration
Flag this post
ArkRegex: A drop in replacement for new RegExp() with types
Format Verification
Flag this post
Clojure Runs ONNX AI Models Now - Join the AI fun!
dragan.rocks·3d·
Discuss: Hacker News
🌳Context free grammars
Flag this post
Enhanced Protein Folding Prediction via Multi-Modal Data Assimilation and Bayesian Hyperparameter Optimization
dev.to·2h·
Discuss: DEV
🧠Machine Learning
Flag this post
GTAlign: Game-Theoretic Alignment of LLM Assistants for Mutual Welfare
dev.to·9h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Vectorizing for Fun and Performance
ibm.com·8h·
Discuss: Hacker News
SIMD Vectorization
Flag this post
LLMs Are Bottlenecked by Linear Interfaces
handmadeoasis.com·3d·
Discuss: Hacker News
📏Linear Logic
Flag this post
ENTP: Enhancing Low-Quality SFT Data via Neural-Symbolic Text Purge-Mix
arxiv.org·1d
🧮SMT Solvers
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
How to Stop Your AI from Making Things Up: A Guide to Grounding LLM Responses in Data
dev.to·12h·
Discuss: DEV
💻Local LLMs
Flag this post
Incentivizing Agentic Reasoning in LLM Judges via Tool-Integrated Reinforcement Learning
arxiv.org·1d
🔗Parser Combinators
Flag this post
Think Twice: Branch-and-Rethink Reasoning Reward Model
arxiv.org·1d
Incremental Computation
Flag this post
How Experts Use AI: Mitchell Hashimoto
catalins.tech·14h·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Water Cooler Small Talk, Ep. 9: What “Thinking” and “Reasoning” Really Mean in AI and LLMs
towardsdatascience.com·1d
Automated Theorem Proving
Flag this post
PICOs-RAG: PICO-supported Query Rewriting for Retrieval-Augmented Generation in Evidence-Based Medicine
arxiv.org·21h
🔍Information Retrieval
Flag this post
Artificial Intelligence Based Predictive Maintenance for Electric Buses
arxiv.org·21h
🧠Machine Learning
Flag this post
Temporal Blindness in Multi-Turn LLM Agents: Misaligned Tool Use vs. Human Time Perception
arxiv.org·21h
⏱️Interval Parsing
Flag this post