Implementation of "Analysing Mathematical Reasoning Abilities of Neural Models"
☆30Mar 25, 2023Updated 3 years ago
Alternatives and similar repositories for deep-math
Users that are interested in deep-math are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Math-aware QA system☆18May 8, 2026Updated 4 months ago
- This repo contains a set of notebooks to reproduce reinforcement learning algorithms.☆17Nov 21, 2022Updated 3 years ago
- Lean4 Code Editor☆19Aug 18, 2026Updated last month
- This is module for practical session of MLSS Indonesia 2020☆11Aug 5, 2020Updated 6 years ago
- Testing Difference Target Propagation (DTP) on MNIST.☆13Oct 12, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆10Nov 27, 2023Updated 2 years ago
- This repository presents a global overview of why GitHub, and especially Git+R should be used by everyone, helping for reproducibility. T…☆19Jun 12, 2025Updated last year
- ☆11Feb 14, 2015Updated 11 years ago
- This repository aims to replicate the "Vision GNN: An Image is Worth Graph of Nodes" paper.☆18Sep 16, 2024Updated 2 years ago
- 🔍 Code Search Tools & Experiments☆13Updated this week
- Text to Speech Synthesis based on controllable latent representation☆14Aug 30, 2019Updated 7 years ago
- A neural network made for OCR of handwritten uppercase English letters based on Fukushima's 1988 Neocognitron.☆19Jun 5, 2014Updated 12 years ago
- A curated list of awesome video prediction papers☆15May 24, 2023Updated 3 years ago
- Recurrent convolutional neural networks for object recognition☆19Oct 6, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Statistical_IV: J-Divergence Hypothesis Test for the Information Value (IV)☆11May 18, 2025Updated last year
- ☆21Updated this week
- Python library for validating and managing binary array linked data files, e.g. HDF, netCDF.☆12Oct 14, 2022Updated 3 years ago
- R Translation of the Python Marine Heat Waves Scripts (see Hobday et al., 2016).☆11Oct 15, 2018Updated 7 years ago
- ☆20Feb 8, 2026Updated 7 months ago
- C++17 implementation of einops for libtorch - clear and reliable tensor manipulations with einstein-like notation☆12Oct 16, 2023Updated 2 years ago
- Molecular integrals over Gaussian basis functions using sympy.☆16Oct 2, 2024Updated last year
- Pseudopotential converter from upf to psp8☆11Jan 25, 2023Updated 3 years ago
- Python package to solve actuarial life-contingent risks☆21Jul 4, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Applying Reinforcement Learning from Human Feedback to language models to teach them to write short story responses to writing prompts.☆13May 5, 2022Updated 4 years ago
- Trains Sparse Autoencoders based on outputs from language models☆11Oct 7, 2024Updated last year
- Workflow for CONNectivity preserving Geometry Optimization☆12Sep 2, 2021Updated 5 years ago
- Reactive memoization for Emacs Lisp.☆11Feb 17, 2022Updated 4 years ago
- PororoQA, https://arxiv.org/abs/1707.00836☆27Sep 16, 2022Updated 4 years ago
- Statistical tests on xarray objects☆14Nov 24, 2025Updated 9 months ago
- Ensemble wavelet based neural network for generating epidemiological forecasting (epicasting)☆15Sep 20, 2025Updated last year
- Bootsrap Responsive Multi-Vendor, MultiLanguage Online Shop Platform☆11Oct 2, 2020Updated 5 years ago
- SIR-Hawkes: Linking Epidemic Models and Hawkes Processes to Model Diffusions in Finite Populations☆14Apr 15, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆14Sep 27, 2020Updated 5 years ago
- R interface to Stock Assessment Graphs database web services☆14Apr 30, 2026Updated 4 months ago
- Implementation of: Kristiadi, Agustinus, and Asja Fischer. "Predictive Uncertainty Quantification with Compound Density Networks." (2019)…☆16May 26, 2022Updated 4 years ago
- Aggressive reddit scraper in node js☆14Jun 5, 2015Updated 11 years ago
- ☆10May 3, 2018Updated 8 years ago
- Analysis code for tracking marine heatwaves using ocetrac☆18Jan 3, 2022Updated 4 years ago
- Docutils (a.k.a. reStructuredText, reST, RST) support for django☆12Sep 12, 2026Updated last week