Tactic Languages, Auto Tactics, Proof Search, Hammer Tools
Picking up sticks.
drwho.virtadpt.net·14h
Towards Trustworthy Vital Sign Forecasting: Leveraging Uncertainty for Prediction Intervals
arxiv.org·2d
Yet Unnoticed in LSTM: Binary Tree Based Input Reordering, Weight Regularization, and Gate Nonlinearization
arxiv.org·2d
I made a small nginx web UI (with Cloudflare + CloudFront support) – maybe useful for someone?
github.com·16h
AI Security Tools — August 2025
infosecwriteups.com·4d
A Developer’s Guide To Becoming an AI Engineer
thenewstack.io·1d
Loading...Loading more...