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

Tactic Languages, Auto Tactics, Proof Search, Hammer Tools

busy beaver function
ncatlab.org·3d
⚔️Lean Theorem
Meta raids Google DeepMind and Scale AI for its all-star superintelligence team
businessinsider.com·12h
🤖AI Curation
Adversarial Examples Are Not Bugs, They Are Superposition
livgorton.com·3h·
Discuss: Hacker News
🧠Machine Learning
Undisclosed financial conflicts of interest in DSM-5
bmj.com·4h·
Discuss: Hacker News
📦METS Standards
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·1d
🎯Performance Proofs
How to speak "off the cuff" – guide for technical experts
togetherlondon.com·1d·
Discuss: Hacker News
✨Algebraic Effects
It's okay to solve a problem twice
til.andrew-quinn.me·3d·
Discuss: Hacker News
🌳Trie Structures
Reformulating web documents into synthetic data addresses the growing limits of AI training data
the-decoder.com·2d
📄Document AI
Show HN: Image Description Generator – auto-generate alt text from any image
image-description-generator.net·3d·
Discuss: Hacker News
🗜️LZW Variants
Show HN: SecretMemoryLocker – File Encryption Without Static Passwords
github.com·1d·
Discuss: Hacker News
🔐Archive Encryption
Why Some Companies Scale Effortlessly While Others Hit Walls
adia.substack.com·21h·
Discuss: Substack
🔌Interface Evolution
Made a one piece knowledge benchmark
reddit.com·2d·
Discuss: r/artificial
🧮Z3 Solver
AI character generator online
dev.to·1d·
Discuss: DEV
🏛Digital humanities
HLLM-Creator: Hierarchical LLM-based Personalized Creative Generation
arxiv.org·17h
🎯Content Recommendation
A Novel Framework for Uncertainty Quantification via Proper Scores for Classification and Beyond
arxiv.org·17h
📊Learned Metrics
Try My ~3.5 Million Parameters Model Instead for ✨😉
dev.to·1d·
Discuss: DEV
📝Text Parsing
Student-Teacher Distillation: A Complete Guide for Model Compression
dev.to·2h·
Discuss: DEV
📊Quantization
Explainable AI for Predicting and Understanding Mathematics Achievement: A Cross-National Analysis of PISA 2018
arxiv.org·17h
🧠Intelligence Compression
Building and Measuring Trust between Large Language Models
arxiv.org·1d
🔲Cellular Automata
Graph-R1: Incentivizing the Zero-Shot Graph Learning Capability in LLMs via Explicit Reasoning
arxiv.org·17h
💻Local LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap