tensorflow/deepmath

This repository has been archived on 15/May/2023
Stars
779
Rank 58,364 (Top 2 %)
Language
C++
License
Apache License 2.0
Created about 8 years ago
Updated almost 4 years ago

tensorflow/deepmath

tensorflow

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Experiments towards neural network theorem proving

Deepmath

The Deepmath project seeks to improve automated theorem proving using deep learning and other machine learning techniques. Deepmath is a collaboration between Google Research and several universities.

DISCLAIMER:

The source code in this repository is not an official Google product, but is a research collaboration with external research teams.

Installation

Deepmath depends on TensorFlow, which is included as a submodule. Use, or see, the Dockerfile for build instructions for deephol, our neural prover. It requires connecting to a proof assistant server. See https://github.com/brain-research/hol-light for a server implementation.

tensorflow

An Open Source Machine Learning Framework for Everyone

models

Models and examples built with TensorFlow

tfjs

A WebGL accelerated JavaScript library for training and deploying ML models.

tensor2tensor

Library of deep learning models and datasets designed to make deep learning more accessible and accelerate ML research.

tfjs-models

Pretrained models for TensorFlow.js

playground

Play with neural networks!

tfjs-core

WebGL-accelerated ML // linear algebra // automatic differentiation for JavaScript.

examples

TensorFlow examples

Jupyter Notebook

tensorboard

TensorFlow's Visualization Toolkit

tfjs-examples

Examples built with TensorFlow.js

nmt

TensorFlow Neural Machine Translation Tutorial

docs

TensorFlow documentation

Jupyter Notebook

swift

Swift for TensorFlow

Jupyter Notebook

serving

A flexible, high-performance serving system for machine learning models

tpu

Reference models and tools for Cloud TPUs.

Jupyter Notebook

rust

Rust language bindings for TensorFlow

lucid

A collection of infrastructure and tools for research in neural network interpretability.

Jupyter Notebook

datasets

TFDS is a collection of datasets ready to use with TensorFlow, Jax, ...

probability

Probabilistic reasoning and statistical analysis in TensorFlow

Jupyter Notebook

adanet

Fast and flexible AutoML with learning guarantees.

Jupyter Notebook

hub

A library for transfer learning by reusing parts of TensorFlow models.

minigo

An open-source implementation of the AlphaGoZero algorithm

skflow

Simplified interface for TensorFlow (mimicking Scikit Learn) for Deep Learning

lingvo

agents

TF-Agents: A reliable, scalable and easy to use TensorFlow library for Contextual Bandits and Reinforcement Learning.

graphics

TensorFlow Graphics: Differentiable Graphics Layers for TensorFlow

ranking

Learning to Rank in TensorFlow

federated

A framework for implementing federated learning

tfx

TFX is an end-to-end platform for deploying production ML pipelines

privacy

Library for training machine learning models with privacy for training data

tflite-micro

Infrastructure to enable deployment of ML models to low-power resource-constrained embedded targets (including microcontrollers and digital signal processors).

fold

Deep learning with dynamic computation graphs in TensorFlow

recommenders

TensorFlow Recommenders is a library for building recommender system models using TensorFlow.

quantum

Hybrid Quantum-Classical Machine Learning in TensorFlow

mlir

"Multi-Level Intermediate Representation" Compiler Infrastructure

addons

Useful extra functionality for TensorFlow 2.x maintained by SIG-addons

mesh

Mesh TensorFlow: Model Parallelism Made Easier

haskell

Haskell bindings for TensorFlow

model-optimization

A toolkit to optimize ML models for deployment for Keras and TensorFlow, including quantization and pruning.

workshops

A few exercises for use at events.

Jupyter Notebook

ecosystem

Integration of TensorFlow with other open-source frameworks

gnn

TensorFlow GNN is a library to build Graph Neural Networks on the TensorFlow platform.

model-analysis

Model analysis tools for TensorFlow

community

Stores documents used by the TensorFlow developer community

text

Making text a first-class citizen in TensorFlow.

benchmarks

A benchmark framework for Tensorflow

tfjs-node

TensorFlow powered JavaScript library for training and deploying ML models on Node.js.

similarity

TensorFlow Similarity is a python package focused on making similarity learning quick and easy.

transform

Input pipeline framework

neural-structured-learning

Training neural models with structured signals.

gan

Tooling for GANs in TensorFlow

Jupyter Notebook

compression

Data compression in TensorFlow

java

Java bindings for TensorFlow

swift-apis

Swift for TensorFlow Deep Learning Library

data-validation

Library for exploring and validating machine learning data

runtime

A performant and modular runtime for TensorFlow

tensorrt

TensorFlow/TensorRT integration

Jupyter Notebook

docs-l10n

Translations of TensorFlow documentation

Jupyter Notebook

io

Dataset, streaming, and file system extensions maintained by TensorFlow SIG-IO

tfjs-converter

Convert TensorFlow SavedModel and Keras models to TensorFlow.js

decision-forests

A collection of state-of-the-art algorithms for the training, serving and interpretation of Decision Forest models in Keras.

swift-models

Models and examples built with Swift for TensorFlow

Jupyter Notebook

tcav

Code for the TCAV ML interpretability project

Jupyter Notebook

recommenders-addons

Additional utils and helpers to extend TensorFlow when build recommendation systems, contributed and maintained by SIG Recommenders.

tfjs-wechat

WeChat Mini-program plugin for TensorFlow.js

flutter-tflite

lattice

Lattice methods in TensorFlow

model-card-toolkit

A toolkit that streamlines and automates the generation of model cards

mlir-hlo

tflite-support

TFLite Support is a toolkit that helps users to develop ML and deploy TFLite models onto mobile / ioT devices.

cloud

The TensorFlow Cloud repository provides APIs that will allow to easily go from debugging and training your Keras and TensorFlow code in a local environment to distributed training in the cloud.

custom-op

Guide for building custom op for TensorFlow

tfjs-vis

A set of utilities for in browser visualization with TensorFlow.js

profiler

A profiling and performance analysis tool for TensorFlow

fairness-indicators

Tensorflow's Fairness Evaluation and Visualization Toolkit

Jupyter Notebook

moonlight

Optical music recognition in TensorFlow

tfjs-tsne

estimator

TensorFlow Estimator

embedding-projector-standalone

tfjs-layers

TensorFlow.js high-level layers API

build

Build-related tools for TensorFlow

tflite-micro-arduino-examples

kfac

An implementation of KFAC for TensorFlow

ngraph-bridge

TensorFlow-nGraph bridge

profiler-ui

[Deprecated] The TensorFlow Profiler (TFProf) UI provides a visual interface for profiling TensorFlow models.

tensorboard-plugin-example

tfx-addons

Developers helping developers. TFX-Addons is a collection of community projects to build new components, examples, libraries, and tools for TFX. The projects are organized under the auspices of the special interest group, SIG TFX-Addons. Join the group at http://goo.gle/tfx-addons-group

Jupyter Notebook

metadata

Utilities for passing TensorFlow-related metadata between tools

networking

Enhanced networking support for TensorFlow. Maintained by SIG-networking.

tfhub.dev

java-ndarray

java-models

tfjs-website

WebGL-accelerated ML // linear algebra // automatic differentiation for JavaScript.

tfjs-data

Simple APIs to load and prepare data for use in machine learning models

tfx-bsl

Common code for TFX

autograph

model-remediation

Model Remediation is a library that provides solutions for machine learning practitioners working to create and train models in a way that reduces or eliminates user harm resulting from underlying performance biases.

codelabs

Jupyter Notebook

tensorstore

swift-bindings