Principles of Epistemology (2025, essay)
🏔️Domain Theory
Flag this post
Cognitive Burden
✓Automated Theorem Proving
Flag this post
Navigating the Storm: Driving AI Agents
🔧DevOps
Flag this post
Branched Signature Model
arxiv.org·1d
🕸️Graph Theory
Flag this post
Going From Reactive to Predictive Incident Response with AIOps
hackernoon.com·1d
🩹Self-Healing Systems
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·5d
🧠Automated Reasoning
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.org·1d
🧠Automated Reasoning
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·1d
📦OPAM
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·1d
✓Automated Theorem Proving
Flag this post
Tackling Incomplete Data in Air Quality Prediction: A Bayesian Deep Learning Framework for Uncertainty Quantification
arxiv.org·18h
🕸️Graph Theory
Flag this post
This is one way I use AI for coding
🧮Z3 Solver
Flag this post
Dialogue as Discovery: Navigating Human Intent Through Principled Inquiry
arxiv.org·2d
🔲Cellular Automata
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.org·1d
📚Automata Learning
Flag this post
Zero-RAG: Towards Retrieval-Augmented Generation with Zero Redundant Knowledge
arxiv.org·1d
🧩Parser Combinators
Flag this post
Loading...Loading more...