Measuring Thinking Efficiency in Reasoning Models: The Missing Benchmark - NOUS RESEARCH
nousresearch.com·3d·
Discuss: Hacker News, r/LocalLLaMA
🧠Intelligence Compression
MoNaCo: More Natural and Complex Questions for Reasoning Across Dozens of Documents
arxiv.org·16h
🔍Information Retrieval
Defects4Log: Benchmarking LLMs for Logging Code Defect Detection and Reasoning
arxiv.org·16h
👁️System Observability
Group Fairness Meets the Black Box: Enabling Fair Algorithms on Closed LLMs via Post-Processing
arxiv.org·16h
🧮Kolmogorov Bounds
A Comprehensive Perspective on Explainable AI across the Machine Learning Workflow
arxiv.org·16h
🤖AI Curation
Rewriting Numaflow (for AI), an open-source stream processing platform, in Rust
blog.numaproj.io·2h·
Discuss: Hacker News
🦀Rust Borrowing
Efficiently Verifiable Proofs of Data Attribution
arxiv.org·3d
🛡️Proof-Carrying Data
MCP Tools and Dependent Types
vlaaad.github.io·10h·
Discuss: Hacker News
💧Liquid Types
Automated Metadata Enrichment for Long-Tail Digital Archives via Knowledge Graph Fusion and Semantic Reasoning
dev.to·15h·
Discuss: DEV
🤖Archive Automation
Customizing Lisp REPLs
aartaka.me·21h·
Discuss: Lobsters, Hacker News, r/programming
🐚Nordic Shell
UCP: AI Reasoning Enhancement Through Bias Elimination - Open Source Release
dev.to·23h·
Discuss: DEV
⚙️Proof Engineering
ASP-Completeness Proofs of Puzzles Using the T-Metacell Framework
arxiv.org·16h
🧮SMT Solvers
Informative Post-Hoc Explanations Only Exist for Simple Functions
arxiv.org·16h
🧮Kolmogorov Complexity
Retro-Expert: Collaborative Reasoning for Interpretable Retrosynthesis
arxiv.org·16h
🧮Theorem Proving
A Better Vocabulary for Testing
alperenkeles.com·2d·
Discuss: Lobsters, r/compsci, r/programming
🔍Concolic Testing
Pair Programming: When Explanations Go Too Far
hackernoon.com·1d
✨Effect Handlers
Encoding and Reasoning About Arrays in Set Theory
arxiv.org·16h
💻Programming languages
Injecting doubts in the CoT of reasoning models
github.com·17h·
Discuss: Hacker News
🧪Binary Fuzzing
Models are smart enough, your process isn't
sibylline.dev·5h·
Discuss: Hacker News
⚡Proof Automation
Learn to optimize for automatic proton PBS treatment planning for H&N cancers
arxiv.org·16h
⚡SIMD Vectorization