๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โœ“ Automated Theorem Proving

Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning

Charles Misner & Patrick Cooney
deprogrammaticaipsum.comยท5d
๐Ÿ“Mathematical Art
"What makes an AI system an agent?"
languagelog.ldc.upenn.eduยท2d
๐Ÿ”ฒCellular Automata
What I Learned Rebuilding Search Three Times
nsavage.substack.comยท2dยท
Discuss: Substack
๐Ÿ—„๏ธDatabase Internals
A Neural Network Approach to Multi-radionuclide TDCR Beta Spectroscopy
arxiv.orgยท2d
๐ŸŒˆSpectroscopy
Too Noisy to Collude? Algorithmic Collusion Under Laplacian Noise
arxiv.orgยท2d
๐ŸคSecure Multiparty
Learning AC Power Flow Solutions using a Data-Dependent Variational Quantum Circuit
arxiv.orgยท2d
โš›๏ธQuantum Circuits
Understanding and Improving the Shampoo Optimizer via Kullback-Leibler Minimization
arxiv.orgยท2d
๐Ÿง Machine Learning
Beyond Synthetic Augmentation: Group-Aware Threshold Calibration for Robust Balanced Accuracy in Imbalanced Learning
arxiv.orgยท2d
๐Ÿ“ŠLearned Metrics
Bacteria in Spacecraft Clean Rooms Can Go Dormant, Evading Death
scientificamerican.comยท2d
๐ŸŒก๏ธPreservation Physics
Invariant Features for Global Crop Type Classification
arxiv.orgยท2d
๐Ÿ“ŠLearned Metrics
Preventing Inactive CBF Safety Filters Caused by Invalid Relative Degree Assumptions
arxiv.orgยท2d
๐Ÿ›ก๏ธError Boundaries
Beyond Words: Interjection Classification for Improved Human-Computer Interaction
arxiv.orgยท2d
๐ŸŽ™๏ธWhisper
Power Grid Control with Graph-Based Distributed Reinforcement Learning
arxiv.orgยท2d
๐ŸคConsensus Networks
Zero-Error Nash Equilibrium: Harnessing Nonlocal Correlation in Incomplete Information Games
arxiv.orgยท2d
โš›๏ธQuantum Channels
A developer's guide to building secure retail apps with GitLab
about.gitlab.comยท3d
๐Ÿ”Capability Systems
Dynamic Intrusion Detection via Bio-Inspired Signal Deconstruction in Perimeter Security Systems
dev.toยท3dยท
Discuss: DEV
๐ŸŽฏThreat Hunting
Team Westwood Solution for MIDOG 2025 Challenge
arxiv.orgยท2d
๐Ÿง Machine Learning
Adaptive Learning Strategies for Mitotic Figure Classification in MIDOG2025 Challenge
arxiv.orgยท2d
๐Ÿ’พFloppy Imaging
MitoDetect++: A Domain-Robust Pipeline for Mitosis Detection and Atypical Subtyping
arxiv.orgยท2d
๐Ÿš€SIMD Text Processing
Automated Biosecurity Protocol Optimization via Bayesian Hyperparameter Calibration
dev.toยท6dยท
Discuss: DEV
๐Ÿ“ŠHomelab Monitoring
Loading...Loading more...
AboutBlogChangelogRoadmap