Environmental impact of LLM inference: doing better than 'median prompt emissions'
blog.ddorn.fr·2h
🎲Probabilistic Programming
Flag this post
Making the Backblaze Network AI Ready
backblaze.com·4h
🔌Network Programming
Flag this post
Hans-Juergen Schoenig: Counting Customers in PostgreSQL
cybertec-postgresql.com·1d
🗄️Database Theory
Flag this post
What Are Auto-regressive Models? A Deep Dive and Typical Use Cases
blog.pangeanic.com·2d
🎲Probabilistic Programming
Flag this post
SAP Expands Its AI Stack for Developers
thenewstack.io·54m
🧩Theorem Proving
Flag this post
Uncertain node-state PI-DBN: A novel framework for predictive modeling of real-time blowout risk in deepwater drilling
sciencedirect.com·2d
🎲Probabilistic Programming
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·15h
🎲Probabilistic Programming
Flag this post
AI Safety at the Frontier: Paper Highlights of October 2025
lesswrong.com·7h
🧭SMT Solvers
Flag this post
The End of Prompt Engineering? Stanford’s Self-Improving AI Learned Clinical Reasoning on Its Own
pub.towardsai.net·6h
🧩Theorem Proving
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·1d
🔢Mathematical Logic
Flag this post
Some thoughts on AI and coding
infoworld.com·11h
🧮Programming Language Theory
Flag this post
Automated Simulation Anomaly Detection via Multi-Modal Graph Analysis and Reinforcement Learning
🎲Probabilistic Programming
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·1d
🔗Parser Combinators
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·2d
🎲Probabilistic Programming
Flag this post
Don't Just Search, Understand: Semantic Path Planning Agent for Spherical Tensegrity Robots in Unknown Environments
arxiv.org·1d
🧭SMT Solvers
Flag this post
Topographical sparse mapping: A training framework for deep learning models
🎲Probabilistic Programming
Flag this post
Loading...Loading more...