🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔮 Proof Search

Automated Reasoning, Tactic Languages, Resolution, Unification

10 Essential Machine Learning Key Terms Explained - MachineLearningMastery.com
machinelearningmastery.com·18h
🧠Machine Learning
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·21h·
Discuss: Hacker News
📋DFDL
Predicting Faulty Validations in Cluster Issue Detection: A ML Approach - DevConf.CZ 2025
youtube.com·3h
📏Code Metrics
How much code does that proc macro generate?
nnethercote.github.io·11h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Stuck Between 24 Rocks and an NP-Hard Place
jacksonslipock.bearblog.dev·5d·
Discuss: Hacker News
⚔️Lean Tactics
DuaShepherd: Integrating Stepwise Correctness and Potential Rewards for Mathematical Reasoning
arxiv.org·2d
✓Automated Theorem Proving
⚔️ The Josephus Problem Explained: Constant-Time Solution for k = 2
dev.to·1h·
Discuss: DEV
🌳Trie Structures
LR(1) parse-tables generator
github.com·2d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Define-ML: An Approach to Ideate Machine Learning-Enabled Systems
arxiv.org·7h
🧠Machine Learning
How to Build a ReAct AI Agent for Cybersecurity Scanning with Python and LangGraph
dev.to·2d·
Discuss: DEV
⚡Proof Automation
An ab initio foundation model of wavefunctions that accurately describes chemical bond breaking
arxiv.org·7h
🕸️Tensor Networks
SRFT: A Single-Stage Method with Supervised and Reinforcement Fine-Tuning for Reasoning
arxiv.org·1d
💻Local LLMs
Exploring High Efficiency Web Analysis Results(1750904353002600)
dev.to·9h·
Discuss: DEV
🌊Stream Processing
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·7h
✅Format Verification
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·7h
💻Local LLMs
Flame Graph Performance Truth Analysis(1750918443851900)
dev.to·5h·
Discuss: DEV
⚡Performance Tools
🚦 Dijkstra's Algorithm Explained – A Beginner's Guide
dev.to·1h·
Discuss: DEV
🕸️Graph Algorithms
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.org·7h
⚡Incremental Computation
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.org·7h
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap