HongyuHe
Follow
Stars
Allows to check regexes for overlaps. Based on greenery by @qntm.
Code & Data for "Tabular Transformers for Modeling Multivariate Time Series" (ICASSP, 2021)
kenmcmil / ivy
Forked from microsoft/ivyIVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…
DC3: A Learning Method for Optimization with Hard Constraints
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling
A suite of auto-regressive and Seq2Seq (sequence-to-sequence) transformer models for tabular and relational synthetic data generation.
Ray is an AI compute engine. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.
(SIGCOMM '22) Practical GAN-based Synthetic IP Header Trace Generation using NetShare
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
High-Performance Symbolic Regression in Python and Julia
Code for "Discovering Symbolic Models from Deep Learning with Inductive Biases"
Distributed High-Performance Symbolic Regression in Julia
Code base for the precision, recall, density, and coverage metrics for generative models. ICML 2020.
code of paper: "DFBA: Entirely Data Free Backdoor Attacks".
Host-based network traffic data at 1ms granularity
This repository contains a simple implementation of Interval Bound Propagation (IBP) using TensorFlow: https://arxiv.org/abs/1810.12715
Eye Dropper and Color picker extension for Google Chrome
A computer algebra system written in pure Python