Reasoning Models Reason Well, Until They Don't
arxiv.org·14h
🧠Computational Logic
Flag this post
Freshman’s dream
johndcook.com·2h
⚔️Lean Tactics
Flag this post
Nonmonotonic Logic
🔬Logic in Computer Science
Flag this post
HigherOrderCO/Bend2
github.com·2d
🔗Functional Compilers
Flag this post
Modern Perfect Hashing
🧪Binary Fuzzing
Flag this post
Mapping Faithful Reasoning in Language Models
arxiv.org·14h
🎯Dependent Parsing
Flag this post
Grounding LLMs with Symbolic Planning
⚔️Lean Tactics
Flag this post
Lore Laundering Machines - by Ben Recht - arg min
argmin.net·1d
🎯Performance Proofs
Flag this post
Agentic AI and Security
💻Local LLMs
Flag this post
How to Use Zorn's Lemma
⚔️Lean Theorem
Flag this post
10-26-building-the-rope-operation-for-tensorrent-hardware at Clehaxze
clehaxze.tw·1d
⚡SIMD Vectorization
Flag this post
go schema validation
✅Format Verification
Flag this post
On-Policy Distillation
💻Local LLMs
Flag this post
Framework for Machine Evaluation of Reasoning Completeness in Large Language Models For Classification Tasks
arxiv.org·14h
🧠Intelligence Compression
Flag this post
Text2SQL is dead – long live text2SQL
🚚Data Migration
Flag this post
Loading...Loading more...