nclab / ea.prover
Source code and obtained results for "Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants"
☆15Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for ea.prover
- Description of commonly done compiler optimizations in C☆43Updated 2 years ago
- An interface to SAT solver tools (like minisat)☆58Updated 2 years ago
- Repo for the paper "SymPy: symbolic computing in python"☆47Updated 4 years ago
- Runtime compiler for numerical Python☆233Updated 3 years ago
- Automatic differentiation for NumPy☆42Updated 11 years ago
- Vectorized xorshift and xoroshiro uniform/binomial RNGs☆9Updated 8 years ago
- An introductory tutorial for the Coq proof assistant.☆9Updated 5 years ago
- Python bindings to picosat (a SAT solver)☆183Updated this week
- A high-performance DSL for deep neural networks in Julia☆53Updated 2 years ago
- A streaming cross-cat inference engine☆19Updated 7 months ago
- vIPer: a new tool for IPython notebooks.☆60Updated 9 years ago
- DeepAlgebra☆25Updated 7 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆48Updated 3 years ago
- IPython notebook storage on OpenStack clouds☆58Updated 5 years ago
- Python term rewriting☆27Updated 11 years ago
- Improving spiking dynamical networks: Accurate delays, higher-order synapses, and time cells☆7Updated 7 years ago
- Toy interpreters for learning about the RPython Translation Toolchain☆15Updated 9 years ago
- Python subsets☆41Updated 7 years ago
- Pure Python Evolutionary Algorithms Framework☆46Updated 5 years ago
- A set of benchmark problems and implementations for Python☆63Updated last year
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆21Updated 4 months ago
- A Python implementation of a political forecasting model by Scholz, Calbert & Smith.☆11Updated 8 years ago
- Turning Javascript into a probabilistic programming language☆58Updated 7 years ago
- ☆42Updated 7 years ago
- Interactive performance benchmarking in Jupyter☆33Updated last week
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 7 years ago
- Convenient hyperparameter optimization☆14Updated 6 months ago
- HOPE: A Python Just-In-Time compiler for astrophysical computations☆382Updated 3 years ago