EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
☆24Oct 10, 2020Updated 5 years ago
Alternatives and similar repositories for Transformer-Formal-Languages
Users that are interested in Transformer-Formal-Languages are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Paper: Lexicon Learning for Few-Shot Neural Sequence Modeling☆16Jan 8, 2022Updated 4 years ago
- ☆13Oct 5, 2025Updated 6 months ago
- ☆18May 25, 2023Updated 2 years ago
- Factor Graph Grammars in Python☆13Jan 17, 2026Updated 2 months ago
- implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples☆77Dec 3, 2019Updated 6 years ago
- 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.
- Code for running the transformers in the ICML 2021 paper "Thinking Like Transformers"☆18Jun 28, 2021Updated 4 years ago
- TyDiP Multilingual Politeness dataset and code☆12Oct 15, 2023Updated 2 years ago
- Synthetic Data Generation for Evaluation☆14Feb 21, 2025Updated last year
- Code for the paper "Stack Attention: Improving the Ability of Transformers to Model Hierarchical Patterns"☆18Mar 15, 2024Updated 2 years ago
- A set of tools for analyzing languages via logic and automata☆27Feb 12, 2026Updated 2 months ago
- ☆13Apr 15, 2024Updated last year
- ☆20Aug 26, 2018Updated 7 years ago
- Silly twitter torch implementations.☆46Oct 14, 2022Updated 3 years ago
- ☆19Mar 5, 2024Updated 2 years ago
- 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.
- ☆133Sep 17, 2023Updated 2 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Tasks for describing differences between text distributions.☆17Aug 9, 2024Updated last year
- ☆10Oct 4, 2022Updated 3 years ago
- SAT-based miner of smallest size decision sets☆12Jan 22, 2021Updated 5 years ago
- Package for defining computation graphs and performing intervention experiments☆15Oct 1, 2021Updated 4 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 5 years ago
- Code for EMNLP 2022 Paper: On the Calibration of Massively Multilingual Language Models☆15Jun 12, 2023Updated 2 years ago
- HGRN2: Gated Linear RNNs with State Expansion☆57Aug 20, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Improving Sentiment Analysis with Multi-task Learning of Negation☆14May 6, 2021Updated 4 years ago
- YAP is a high-performance Prolog compiler☆12Mar 11, 2011Updated 15 years ago
- Environments from the papers "Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning" and "I…☆12Aug 15, 2023Updated 2 years ago
- A new framework to generate interpretable classification rules☆18Feb 11, 2023Updated 3 years ago
- ☆29Dec 23, 2019Updated 6 years ago
- Official implementation of "Latent Action Learning Requires Supervision in the Presence of Distractors", ICML 2025☆34Jul 8, 2025Updated 9 months ago
- ☆19Feb 22, 2017Updated 9 years ago
- Black-box extraction of Finite-State Machines from RNNs.☆22Apr 14, 2022Updated 3 years ago
- ☆11Apr 12, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 10 years ago
- An automata learning library written in Python.☆48Feb 26, 2020Updated 6 years ago
- ☆23Mar 6, 2023Updated 3 years ago
- Create augmentation examples from MultiNLI by subject-object inversion and passivizing.☆17Feb 22, 2021Updated 5 years ago
- This is the official code implementation of Bongard-OpenWorld (ICLR 2024).☆14Jan 6, 2025Updated last year
- ☆13Aug 19, 2024Updated last year
- ☆19Mar 29, 2025Updated last year