dhil / inf-thesis-latex-cls
A LaTeX Class for Informatics theses at The University of Edinburgh
☆32Updated 2 years ago
Alternatives and similar repositories for inf-thesis-latex-cls:
Users that are interested in inf-thesis-latex-cls are comparing it to the libraries listed below
- Generic PyTorch implementation of einsum that supports different semirings☆47Updated 8 months ago
- Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)☆18Updated last year
- Silly twitter torch implementations.☆46Updated 2 years ago
- Factor Graph Grammars in Python☆13Updated 3 months ago
- Code Repository for "Efficient Computation of Expectations under Spanning Tree Distributions", http://arxiv.org/abs/2008.12988☆10Updated 4 years ago
- An interactive tool for analyzing, executing, and improving dynamic programming algorithms.☆11Updated 8 months ago
- ☆42Updated 3 years ago
- Code for "Does syntax need to grow on trees? Sources of inductive bias in sequence to sequence networks"☆23Updated 5 years ago
- ☆19Updated last year
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆24Updated 4 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 2 weeks ago
- Code for Pushdown Layers from our EMNLP 2023 paper☆28Updated last year
- ☆16Updated 10 months ago
- A list of resources dedicated to compositionality☆14Updated 6 years ago
- ☆44Updated 4 years ago
- CUDA kernels for generalized matrix-multiplication in PyTorch☆79Updated 3 years ago
- ☆29Updated 10 months ago
- Rust library for indexing and quickly searching large pretraining corpora☆26Updated last week
- ☆43Updated 2 years ago
- Code for "Learning Structural Edits via Incremental Tree Transformations" (ICLR'21)☆41Updated 3 years ago
- Paper: Lexicon Learning for Few-Shot Neural Sequence Modeling☆16Updated 3 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆33Updated 5 years ago
- Stores paper references, outputs to bib/html, does basic sanity checking on bib entries☆39Updated last month
- Natural language understanding by probabilistic abduction of a symbolic theory from sentences and logical forms.☆18Updated 2 months ago
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)☆128Updated 2 years ago
- ☆29Updated 3 years ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆36Updated 2 years ago
- A highly sophisticated sequence-to-sequence model for code generation☆40Updated 3 years ago
- Python package for Sentential Decision Diagrams (SDD)☆56Updated last month
- Repo for ICML23 "Why do Nearest Neighbor Language Models Work?"☆56Updated 2 years ago