SAT problems are kind of cool
blog.karanjanthe.me·2d·
Discuss: Hacker News
🧮SMT Solvers
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·19h
🧮Kolmogorov Complexity
Bridging Reasoning to Learning: Unmasking Illusions using Complexity Out of Distribution Generalization
arxiv.org·1d
🧠Intelligence Compression
VLLM Predicted Outputs
cascadetech.ai·3h·
Discuss: Hacker News
💻Local LLMs
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·3h·
Discuss: DEV
⚡Incremental Computation
Test-Time Reasoners Are Strategic Multiple-Choice Test-Takers
arxiv.org·19h
✓Automated Theorem Proving
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·23h·
Discuss: Hacker News
🔢Reed-Solomon Math
ACE: Attribution-Controlled Knowledge Editing for Multi-hop Factual Recall
arxiv.org·19h
✨Effect Handlers
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
⚙️Proof Engineering
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to·13h·
Discuss: DEV
🤖Paleographic AI
Active Confusion Expression in Large Language Models: Leveraging World Models toward Better Social Reasoning
arxiv.org·19h
🧮Prolog Parsing
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·19h·
Discuss: r/LLM
💻Local LLMs
Show HN: Comparegpt.io – Trustworthy Mode to reduce LLM hallucinations
news.ycombinator.com·22h·
Discuss: Hacker News
🔍BitFunnel
Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
arxiv.org·1d
📏Linear Logic
IASC: Interactive Agentic System for ConLangs
arxiv.org·19h
🌳Context free grammars
Detecting Distillation Data from Reasoning Models
arxiv.org·3d
⚙️ABNF Mining
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·9h·
Discuss: DEV
📊Multi-vector RAG
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·19h
💻Programming languages