• LEGO

  • Referenced in 107 articles [sw09685]
  • Jersey ML. It implements various related type systems - the Edinburgh Logical Framework (LF), the Calculus...
  • GraphLab

  • Referenced in 24 articles [sw12830]
  • Framework For Parallel Machine Learning. Designing and implementing efficient, provably correct parallel machine learning (ML ... design challenges. By targeting common patterns in ML, we developed GraphLab, which improves upon abstractions ... demonstrate the expressiveness of the GraphLab framework by designing and implementing parallel versions of belief...
  • Isabelle/jEdit

  • Referenced in 28 articles [sw06432]
  • PIDE framework PIDE is a general framework for document-oriented prover interaction and integration, based ... bilingual architecture that combines ML and Scala [2]. The overall aim is to connect...
  • Katib

  • Referenced in 1 article [sw37565]
  • which is agnostic to machine learning (ML) frameworks. It can tune hyperparameters of applications written ... users’ choice and natively supports many ML frameworks, such as TensorFlow, MXNet, PyTorch, XGBoost...
  • MiniML

  • Referenced in 47 articles [sw29625]
  • intuitionistic modal logic S4 provides an expressive framework for specifying and analyzing computation stages ... functional language in our functional language Mini-ML□, thus proving that binding-time correctness...
  • Isabelle/PIDE

  • Referenced in 13 articles [sw07185]
  • engine in ML to the JVM world, where many user-interfaces, editor frameworks, and educational...
  • MLitB

  • Referenced in 1 article [sw30254]
  • This paper introduces MLitB, a prototype ML framework written entirely in JavaScript, capable of performing ... underlying objectives whose aim is to make ML learning and usage ubiquitous (by using ubiquitous...
  • KFServing

  • Referenced in 1 article [sw37567]
  • abstraction interfaces for common machine learning (ML) frameworks like TensorFlow, XGBoost, scikit-learn, PyTorch...
  • PIDE

  • Referenced in 10 articles [sw06404]
  • PIDE framework. PIDE is a general framework for document-oriented prover interaction and integration, based ... bilingual architecture that combines ML and Scala [2]. The overall aim is to connect...
  • Separation Logic

  • Referenced in 7 articles [sw28549]
  • examples that show the applicability of our framework. The examples include algorithms on lists, hash ... executable code in various target languages, including ML, OCaml, Haskell, and Scala...
  • VeriML

  • Referenced in 8 articles [sw13522]
  • framework -- similar to the one supported by Coq -- inside a computational language inspired by ML...
  • Tfx

  • Referenced in 1 article [sw35449]
  • TensorFlow. It provides a configuration framework to express ML pipelines consisting of TFX components...
  • Access/CPN

  • Referenced in 6 articles [sw02024]
  • framework that facilitates such extensions. Access/CPN consists of two interfaces: one written in Standard ML...
  • EXPATS

  • Referenced in 1 article [sw38107]
  • although modern deep learning frameworks such as PyTorch require deep ML expertise to fully utilize...
  • CyNTHIA

  • Referenced in 1 article [sw19663]
  • programs as a framework for the design of an analogy-based ML editor ... subset of ML that lies somewhere between a structure editor and a framework for formal...
  • Chiron

  • Referenced in 1 article [sw32566]
  • runs the standard ML training toolchain (including the popular Theano framework and C compiler ... models are practical for common uses of ML-as-a-service...
  • SyDPaCC

  • Referenced in 1 article [sw09909]
  • SyDPaCC Framework. SDPP is a framework for Systematic Development of Parallel Programs ... assistant for systematically derive Bulk Synchronous Parallel ML (or ​BSML) programs...
  • bmem

  • Referenced in 3 articles [sw07439]
  • stage maximum likelihood (TS-ML) method. An R package {mathsf bmem} is developed to implement ... missing data in the structural equation modeling framework, and two real examples are used ... through simulation studies. Both MI and TS-ML perform well for MCAR and MAR data...
  • Athena

  • Referenced in 10 articles [sw09967]
  • also offers imperative features (e.g. ML-style updateable memory cells) that can be used ... viewed as a unifying framework for all other logics, including higher-order logic. It retains...