• AutoGL

  • Referenced in 1 article [sw38082]
  • AutoGL: A Library for Automated Graph Learning. Recent years have witnessed an upsurge of research ... interests and applications of machine learning on graphs. Automated machine learning (AutoML) on graphs ... tackle this problem, we present Automated Graph Learning (AutoGL), the first library for automated machine ... Specifically, We propose an automated machine learning pipeline for graph data containing four modules: auto...
  • ForneyLab

  • Referenced in 2 articles [sw27938]
  • graph approach to automated design of Bayesian signal processing algorithms. The benefits of automating design ... becoming increasingly recognized by the machine learning community. As a result, interest in probabilistic programming ... Forney-style factor graphs (FFGs), in the context of automated design of efficient Bayesian signal...
  • TVM

  • Referenced in 1 article [sw41854]
  • Automated End-to-End Optimizing Compiler for Deep Learning. There is an increasing need ... bring machine learning to a wide diversity of hardware devices. Current frameworks rely on vendor ... exposes graph-level and operator-level optimizations to provide performance portability to deep learning workloads ... solves optimization challenges specific to deep learning, such as high-level operator fusion, mapping...
  • GraphVar

  • Referenced in 2 articles [sw26482]
  • model construction, validation and exploration. Machine learning can be performed across any combination of network ... integrated functionalities, such as network construction and graph-theoretical analyses of brain connectivity with ... interactive results exploration and data export, (5) automated cueing for modelling multiple outcome variables within...
  • autoBOT

  • Referenced in 1 article [sw40696]
  • with competitive performance that are subject to automated hyperparameter tuning. We present autoBOT (automatic Bags ... autoML approach suitable for low resource learning scenarios, where both the hardware and the amount ... word, subword, POS tag, keyword-based, knowledge graph-based and relational features) and two types...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ARMS

  • Referenced in 65 articles [sw00048]
  • ARMS: an algebraic recursive multilevel solver for general...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Cinderella

  • Referenced in 153 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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

  • Referenced in 65 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...
  • Dafny

  • Referenced in 73 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • Epsilon

  • Referenced in 44 articles [sw00244]
  • Epsilon is a library of functions implemented in...
  • FIAT

  • Referenced in 41 articles [sw00287]
  • Algorithm 839: FIAT, a new paradigm for computing...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Gmsh

  • Referenced in 767 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...