dhil / inf-thesis-latex-cls
A LaTeX Class for Informatics theses at The University of Edinburgh
☆30Updated last year
Related projects: ⓘ
- Generic PyTorch implementation of einsum that supports different semirings☆45Updated 2 months ago
- Silly twitter torch implementations.☆46Updated last year
- CUDA kernels for generalized matrix-multiplication in PyTorch☆79Updated 2 years ago
- ☆29Updated 2 years ago
- Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)☆18Updated 6 months ago
- ☆42Updated 3 years ago
- Natural language understanding by probabilistic abduction of a symbolic theory from sentences and logical forms.☆13Updated 2 years ago
- Code for Pushdown Layers from our EMNLP 2023 paper☆26Updated 9 months ago
- source code of NAACL2021 "PCFGs Can Do Better: Inducing Probabilistic Context-Free Grammars with Many Symbols“ and ACL2021 main conferenc…☆44Updated 6 months ago
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)☆115Updated 2 years ago
- A list of resources dedicated to compositionality☆14Updated 5 years ago
- Python implementation of projection losses.☆25Updated 4 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆58Updated 3 years ago
- This is a repository with the code for the EMNLP 2020 paper "Information-Theoretic Probing with Minimum Description Length"☆68Updated last month
- ☆37Updated 3 years ago
- Code for "Does syntax need to grow on trees? Sources of inductive bias in sequence to sequence networks"☆22Updated 4 years ago
- Factor Graph Grammars in Python☆13Updated this week
- Codebase implementing LMs for learning the Dyck-(k,m) bounded hierarchical language☆14Updated 3 years ago
- ☆108Updated last year
- ☆16Updated last year
- ☆31Updated 2 years ago
- Theory Of Computing toolKit☆16Updated 9 months ago
- A plugin for code generation in PyCharm/IntelliJ using tranX☆35Updated 2 years ago
- Code Repository for "Efficient Computation of Expectations under Spanning Tree Distributions", http://arxiv.org/abs/2008.12988☆10Updated 3 years ago
- ☆126Updated last year
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆24Updated 3 years ago
- A highly sophisticated sequence-to-sequence model for code generation☆40Updated 3 years ago
- ☆15Updated 2 years ago
- Python package for Sentential Decision Diagrams (SDD)☆53Updated 2 months ago
- ☆42Updated 4 years ago