Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics
The Power of the String Equation
asymptotia.comΒ·1d
Putting Humans Continually in the AI Loop
cacm.acm.orgΒ·15h
Kubernetes Finally Solves Its Biggest Problem: Managing Databases
thenewstack.ioΒ·11h
Backscatter Device-aided Integrated Sensing and Communication: A Pareto Optimization Framework
arxiv.orgΒ·3h
Efficient Triple Modular Redundancy for Reliability Enhancement of DNNs Using Explainable AI
arxiv.orgΒ·3h
What Matters Most? A Quantitative Meta-Analysis of AI-Based Predictors for Startup Success
arxiv.orgΒ·3h
Loading...Loading more...