demonstration for our ACL 2018 paper, "On the Practical Computational Power of Finite Precision RNNs for Language Recognition"
☆11May 26, 2019Updated 7 years ago
Alternatives and similar repositories for counting_dimensions
Users that are interested in counting_dimensions are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Dec 31, 2019Updated 6 years ago
- implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples☆78Dec 3, 2019Updated 6 years ago
- differential☆12Oct 30, 2019Updated 7 years ago
- A tiny mailbox for AI agents — one CLI, six backends (GitHub repo, SQLite, S3, GCS, Postgres, local). The repo is the bus.☆17Sep 15, 2026Updated last month
- Lean formalization of extended regular expressions with lookarounds☆10Oct 18, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆14Jul 12, 2016Updated 10 years ago
- SAFE static analysis tools☆12Apr 16, 2020Updated 6 years ago
- 🔮内生安全建模工具，基于.Net Core 3.0的Avalonia跨平台桌面应用。☆12May 31, 2021Updated 5 years ago
- This repository contains the tabnine PR agent☆18Updated this week
- ☆14Jan 3, 2023Updated 3 years ago
- Code and dataset for EMNLP 2022 Findings paper "Benchmarking Language Models for Code Syntax Understanding"☆16Oct 24, 2022Updated 4 years ago
- Caffe: a fast open framework for deep learning.☆14Aug 26, 2015Updated 11 years ago
- Python code and data files, mainly about network communities detection☆13Nov 26, 2024Updated last year
- Code for the paper "Symmetric Machine Theory of Mind", presented at ICML 2022.☆12Jul 18, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An implementation of model parallel autoregressive transformers on GPUs, based on the DeepSpeed library.☆17Jul 1, 2022Updated 4 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated last year
- Per-pixel lighting effects in a 2D environment☆10Sep 13, 2019Updated 7 years ago
- Interface between MPI (the Message Passing Interface standard) and the Lua scripting language☆11Feb 6, 2015Updated 11 years ago
- Demonstration of the path-extraction process shown in the paper "A General Path-Based Representation for Predicting Program Properties"☆24Aug 21, 2021Updated 5 years ago
- Partial implementation of the research paper "Sohrabi, Foad, & Yu, Wei (2016). Hybrid Digital and Analog Beamforming Design for Large-Sca…☆19Jan 16, 2025Updated last year
- JEMMA: An Extensible Java dataset for Many ML4Code Applications☆19Dec 12, 2022Updated 3 years ago
- deep learning for math☆30May 4, 2019Updated 7 years ago
- How to create a bloom Effect with python☆12Jun 4, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- LQJecho / Channel-Estimation-and-Hybrid-Precoding-for-Millimeter-Wave-Systems-Based-on-Deep-Learning☆24Apr 18, 2021Updated 5 years ago
- A simulation code for paper "Hybrid Digital and Analog Beamforming Design for Large-Scale Antenna Arrays" by Foad Sohrabi, Wei Yu.☆25Jul 29, 2022Updated 4 years ago
- WebCL conformance tests☆20Feb 9, 2018Updated 8 years ago
- REST-like framework and server for blazing fast web applications in C++11.☆16Oct 23, 2016Updated 10 years ago
- nodejs bindings for libTH (tensor library that powers torch). for fun!☆15Apr 27, 2015Updated 11 years ago
- A simple cross-process locking API☆38Mar 23, 2022Updated 4 years ago
- TP-N2F model☆13Jun 28, 2020Updated 6 years ago
- Analysis of large inversions using SNP data☆10Jul 29, 2025Updated last year
- Shaping Visual Representations with Language for Few-shot Classification, ACL 2020☆16May 9, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- lua apply function for cutorch☆17Jan 5, 2017Updated 9 years ago
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆27Oct 10, 2020Updated 6 years ago
- Large-scale Exploration of Neural Relation Classification Architectures☆11Nov 15, 2018Updated 7 years ago
- Some quick exploration of how k-means auto-encoders work☆10May 11, 2017Updated 9 years ago
- My little corner of the internet for writing notes about papers I read☆25Apr 10, 2023Updated 3 years ago
- An optimal channel estimation scheme for intelligent reflecting surfaces based on a minimum variance unbiased estimator☆28Feb 15, 2024Updated 2 years ago
- Implementation of TraFix (automatic trainable decompiler based on NMT) as published in ArXiv☆40Nov 23, 2019Updated 6 years ago