Automation and Validation
Discusses the importance of validating AI and automated systems, covering methods like consistency checks, certificates, and formal verification.
John D. Cook provides expert consulting in applied mathematics and data privacy, helping clients from tech, biotech, and legal industries—including Amazon, Google, Microsoft, and Amgen—solve complex problems efficiently.
44 articles from this blog
Discusses the importance of validating AI and automated systems, covering methods like consistency checks, certificates, and formal verification.
Explores Bowie's obscure numerical method for solving ODEs, applying it to the nonlinear pendulum problem with Python code and analysis.
Explores the challenges of fitting exponential models to data, including handling non-exponential growth and uncertainty in predictions.
Explores the challenges of fitting a logistic curve using only data from its early, exponential-like growth phase, highlighting the unreliability of such extrapolations.