zorkow / MaxTract
Old implementation of the MaxTract system for re-engineering mathematical PDF documents.
☆12Updated 9 years ago
Alternatives and similar repositories for MaxTract:
Users that are interested in MaxTract are comparing it to the libraries listed below
- Utilities for sequential processing of tar files.☆24Updated 3 years ago
- Compute the most likely permutation of a lattice given an LM☆10Updated 12 years ago
- Analogous Safe-state Exploration (ASE) is an algorithm for provably safe and optimal exploration in MDPs with unknown, stochastic dynamic…☆11Updated 3 years ago
- Implementation of generative semantic grammar.☆18Updated 2 years ago
- PyTorch library for synthesizing programs from natural language☆18Updated 6 months ago
- ☆28Updated 4 years ago
- ADS Project☆14Updated 9 years ago
- Universal Python binding for the LMDB 'Lightning' Database☆13Updated 7 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆11Updated 4 years ago
- Simplifying parsing of large jsonline files in NLP Workflows☆12Updated 3 years ago
- A CUDA implementation of the Tsetlin Machine based on bitwise operators☆26Updated 5 years ago
- Semantic Parser with Execution☆12Updated 7 years ago
- A second order optimizer for TensorFlow that uses the Saddle-Free method.☆20Updated 6 years ago
- A C++ library implementing fast language models estimation using the 1-Sort algorithm.☆17Updated last year
- Python library for declarative, constrained, structured-output prediction.☆21Updated last year
- Learning to Prune: Exploring the Frontier of Fast and Accurate Parsing☆22Updated 4 months ago
- Flax Image Models - State-of-the-art pre-trained vision backbones for Flax.☆19Updated last year
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆17Updated 7 years ago
- Playing with arithmetic coding and RNNs☆22Updated 8 years ago
- Utilities for manipulating finite state transducers with the OpenFst library.☆30Updated 7 years ago
- Improving spiking dynamical networks: Accurate delays, higher-order synapses, and time cells☆7Updated 7 years ago
- Random program generator for Python☆10Updated 11 years ago
- An Efficient Language Model Using Double-Array Structures☆17Updated 4 years ago
- A stateful pytree library for training neural networks.☆21Updated 2 years ago
- first attempt at description2code from 2016☆9Updated 6 years ago
- Implements EvoNorms B0 and S0 as proposed in Evolving Normalization-Activation Layers.☆11Updated 4 years ago
- High-performance tokenized language data-loader for Python C++ extension☆12Updated 6 months ago
- Exploring implementing a simple tagger using neural network frameworks☆20Updated 2 years ago
- Code for morphological transformations☆29Updated 7 years ago