Source code for our AAAI paper "Weisfeiler and Leman Go Neural: Higher-order Graph Neural Networks".
-
Updated
Mar 22, 2022 - C++
Source code for our AAAI paper "Weisfeiler and Leman Go Neural: Higher-order Graph Neural Networks".
CompleX Group Interactions (XGI) is a Python package for higher-order networks.
PyTorch implementation of the end-to-end coreference resolution model with different higher-order inference methods.
java implement Higher-order function ,support map,filter , reduce with parallel, android
Model finder for higher-order logic
G4-iM Grinder is a fast, robust and highly adaptable algorithm. It is capable of locating, identifying, qualifying and quantifying DNA and RNA potential quadruplex structures, such as G-quadruplex, i-Motifs and their higher order versions.
Probabilistic separation logics for verifying higher-order probabilistic programs.
Data and code repository from "Time-varying graph representation learning via higher-order skip-gram with negative sampling"
Functors to build REST API Broker
QuickCheck extension for higher-order properties
Tools for RHO-Lang smart contracts formal verification (with Namespace/Spatial/Hennessy-Milner Logics)
Day 1: Functions & higher order functions drills by @huehealer and @malcolmkiano
TFG - Simple functional nondeterministic language that combines call-time choice and run-time choice semantics.
Inhomogeneous higher-order summary statistics for point processes on linear networks
A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
Clean implementation of "Model-Agnostic Meta-Learning" in PyTorch using Facebook's Higher.
Add a description, image, and links to the higher-order topic page so that developers can more easily learn about it.
To associate your repository with the higher-order topic, visit your repo's landing page and select "manage topics."