davis68 / letterheadLinks
University of Illinois letterhead template
☆13Updated 6 years ago
Alternatives and similar repositories for letterhead
Users that are interested in letterhead are comparing it to the libraries listed below
Sorting:
- ☆38Updated 3 years ago
- Code for the ICLR 2020 Paper, "A Theory of Usable Information under Computational Constraints"☆28Updated 5 years ago
- Data for "Datamodels: Predicting Predictions with Training Data"☆97Updated 2 years ago
- ModelDiff: A Framework for Comparing Learning Algorithms☆58Updated 2 years ago
- Interview questions for Computer Science faculty jobs☆40Updated last year
- ☆29Updated this week
- ☆37Updated 11 months ago
- ☆30Updated 2 years ago
- code for "Natural Language to Code Translation with Execution"☆41Updated 3 years ago
- ☆10Updated 2 years ago
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆19Updated 2 years ago
- Code accompanying our paper "Feature Learning in Infinite-Width Neural Networks" (https://arxiv.org/abs/2011.14522)☆63Updated 4 years ago
- ☆26Updated 4 years ago
- Code accompanying our EMNLP 2019 paper: "Revisiting the Evaluation of Theory of Mind through Question Answering"☆26Updated 5 years ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆137Updated 7 months ago
- ZeroC is a neuro-symbolic method that trained with elementary visual concepts and relations, can zero-shot recognize and acquire more com…☆33Updated 2 years ago
- Code for Neural Execution Engines: Learning to Execute Subroutines☆17Updated 4 years ago
- Official Python client library for the OpenReview API☆217Updated this week
- ☆27Updated 2 years ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆38Updated 2 years ago
- Interpretating the latent space representations of attention head outputs for LLMs☆36Updated last year
- Source-to-Source Debuggable Derivatives in Pure Python☆15Updated last year
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆51Updated last year
- Probabilistic programming with large language models☆145Updated 3 weeks ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 3 years ago
- XFT: Unlocking the Power of Code Instruction Tuning by Simply Merging Upcycled Mixture-of-Experts☆35Updated last year
- This is the official implementation for our ACL 2024 paper: "Causal Estimation of Memorisation Profiles".☆23Updated 8 months ago
- ☆31Updated 2 years ago
- ☆22Updated 4 years ago
- "Every Author as First Author" paper from SIGTBD 2023, about superimposing author names in a stack☆116Updated 11 months ago