AI Rank
EN
← 开源
tensorflow

deepmath

Experiments towards neural network theorem proving

Model DevelopmentArchitectureC++
在 GitHub 打开
增长势头
+024 小时新增 Star0.0%
789
Star
137
Fork
+0
本周
7
贡献者
创建于 2016-11-07 · 更新于 2026-07-10 · 今日第 13812 名
主要开发者
kbansalgirvingsloos

tensorflow/deepmath 排名第 13,812，有 789 个星标。

同类别比较

tensorflow/deepmath 排名第 13,812，此处有 8 个同类条目；zhoubolei/TRN-pytorch 排名第 13,813。

同类别比较
名称排名指标
NeuroDiffGym/neurodiffeq13,795
语言:
Python
星标数:
790
分叉数:
105
简介:
A library for solving differential equations using neural networks based on PyTorch, used by multiple research groups around the world, including at Harvard IACS.
ChihebTrabelsi/deep_complex_networks13,802
语言:
Python
星标数:
789
分叉数:
284
简介:
Implementation related to the Deep Complex Networks
lucidrains/phenaki-pytorch13,807
语言:
Python
星标数:
789
分叉数:
80
简介:
Implementation of Phenaki Video, which uses Mask GIT to produce text guided videos of up to 2 minutes in length, in Pytorch
lukasruff/Deep-SVDD-PyTorch13,808
语言:
Python
星标数:
789
分叉数:
211
简介:
A PyTorch implementation of the Deep SVDD anomaly detection method
zhoubolei/TRN-pytorch13,813
语言:
Python
星标数:
789
分叉数:
188
简介:
Temporal Relation Networks
jiyuanwang-afk/Explainable-AI-in-Financial-Fraud-and-Anomaly-Detection13,817
语言:
Python
星标数:
788
分叉数:
15
简介:
This repository explores explainable deep learning models for financial fraud detection and anomaly analysis. It integrates Graph Neural Networks (GNNs), Autoencoders, and SHAP-based explainability to identify and interpret fraudulent behaviors in transactional data.
tensorflow/swift-apis13,820
语言:
Swift
星标数:
788
分叉数:
135
简介:
Swift for TensorFlow Deep Learning Library
carpedm20/lstm-char-cnn-tensorflow13,823
语言:
Python
星标数:
787
分叉数:
237
简介:
in progress
关键参数与规格
关键参数与规格
参数值
语言C++
类别Model Development
子类别Architecture
星标数789
分叉数137
贡献者7
创建日期2016-11-07
更新日期2026-07-10
1 天星标数0
7 天星标数0
排名13,812
上次排名13,706
排名变化-106
7 天星标排名14,133
上次 7 天星标排名14,154
7 天星标排名变化21
总星标排名13,515
上次总星标排名13,495
总星标排名变化-20
国家USA
README 摘录

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 , our neural prover. It requires connecting to a proof assistant

server.

常见问题

记录了多少星标和分叉？

tensorflow/deepmath 有 789 个星标和 137 个分叉。

仓库排名是多少？

tensorflow/deepmath 排名第 13,812。

记录的语言和类别是什么？

tensorflow/deepmath 有 789 个星标，语言为 C++，类别为 Model Development。

哪个仓库排名最接近？

tensorflow/deepmath 与 zhoubolei/TRN-pytorch 比较，后者排名第 13,813，有 789 个星标。

README

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.

排名相邻
同类项目