• sbi

  • Referenced in 1 article [sw34990]
  • package for simulation-based inference. Simulation-based inference is the process of finding parameters ... observations. This posterior can be amortized (i.e. useful for any observation) or focused (i.e. tailored ... simple interface for one-line posterior inference...
  • TiML

  • Referenced in 4 articles [sw27564]
  • furthermore, big-O complexity can be inferred from recurrences generated during typechecking by a recurrence ... versatile enough to verify worst-case and/or amortized complexities for algorithms and data structures like...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Torch

  • Referenced in 40 articles [sw05407]
  • Torch is a machine learning library written in...
  • HOL

  • Referenced in 591 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • SciPy

  • Referenced in 775 articles [sw06293]
  • SciPy (pronounced ”Sigh Pie”) is open-source software...
  • OCaml

  • Referenced in 273 articles [sw06363]
  • OCaml is the most popular variant of the...
  • OEIS

  • Referenced in 4221 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • Zinc

  • Referenced in 25 articles [sw08334]
  • The design of the zinc modelling language. Zinc...
  • SPEED

  • Referenced in 32 articles [sw08653]
  • SPEED: spectral elements in elastodynamics with discontinuous Galerkin...
  • ABC

  • Referenced in 7 articles [sw09721]
  • ABC: algebraic bound computation for loops. We present...
  • CompCert

  • Referenced in 49 articles [sw09737]
  • The CompCert project investigates the formal verification of...
  • MeshLab

  • Referenced in 28 articles [sw10726]
  • MeshLab is an open source, portable, and extensible...
  • Oracle

  • Referenced in 230 articles [sw15847]
  • Oracle Database is an object-relational database management...
  • RAML

  • Referenced in 2 articles [sw21728]
  • Resource Aware ML (RAML) is a tool that...
  • Adam

  • Referenced in 892 articles [sw22205]
  • Adam: A Method for Stochastic Optimization. We introduce...
  • t-SNE

  • Referenced in 176 articles [sw22300]
  • Visualizing Data using t-SNE. We present a...