🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧠 Computational Logic

Resolution Theorem Proving, Logic Programming, Automatic Reasoning, Satisfiability

Students, here are 5 key things to know when learning how to train large language models
techradar.com·2d
💻Local LLMs
A distributed systems reliability glossary
antithesis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Reflecting on PLDI 2025
people.csail.mit.edu·4d·
Discuss: Hacker News
🌐Protocol Synthesis
All AI Models Might be The Same
blog.jxmo.io·12h·
Discuss: Hacker News
🧠Machine Learning
Agent DB
agentdb.dev·10h·
Discuss: Hacker News
🗄️Database Internals
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·1d
🔍Information Retrieval
The Generalist Brain Module: Module Repetition in Neural Networks in Light of the Minicolumn Hypothesis
arxiv.org·2h
💎Information Crystallography
Demographic-aware fine-grained classification of pediatric wrist fractures
arxiv.org·2h
🌀Differential Geometry
Don’t Waste Your Labeled Anomalies: 3 Practical Strategies to Boost Anomaly Detection Performance
towardsdatascience.com·13h
🌲B-tree Forensics
Machine Learning Fundamentals: dimensionality reduction example
dev.to·1d·
Discuss: DEV
📐Vector Dimensionality
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
arxiv.org·3d
💻Programming languages
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·3d
🔲Proof Irrelevance
Neurosymbolic Reasoning Shortcuts under the Independence Assumption
arxiv.org·2d
📊Quantization
Sparse Autoencoders Can Capture Language-Specific Concepts Across Diverse Languages
arxiv.org·2d
💻Local LLMs
Confidence-Filtered Relevance (CFR): An Interpretable and Uncertainty-Aware Machine Learning Framework for Naturalness Assessment in Satellite Imagery
arxiv.org·2h
🧠Machine Learning
Waiting is worth it and can be improved with predictions
arxiv.org·2h
📡Information theory
A Bayesian Incentive Mechanism for Poison-Resilient Federated Learning
arxiv.org·1d
🤐Secure Multiparty
Dataset resulting from the user study on comprehensibility of explainable AI algorithms
arxiv.org·2h
🧠Machine Learning
Grep a million GitHub repositories via MCP
vercel.com·17h·
Discuss: Hacker News
⚡Proof Automation
MediaMind AI - Intelligent Content Discovery Platform with Algolia MCP Server
dev.to·1d·
Discuss: DEV
🧭Content Discovery
Loading...Loading more...
AboutBlogChangelogRoadmap