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:
- Interview questions for Computer Science faculty jobs☆41Updated last year
- ☆38Updated 3 years ago
- ☆17Updated 3 years ago
- Learning Accurate Decision Trees with Bandit Feedback via Quantized Gradient Descent☆17Updated 3 years ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆51Updated last year
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 3 years ago
- ☆10Updated 2 years ago
- ☆30Updated 2 weeks ago
- arXiv.org non-official badge implementation for Markdown files☆38Updated 5 years ago
- Source-to-Source Debuggable Derivatives in Pure Python☆15Updated last year
- XFT: Unlocking the Power of Code Instruction Tuning by Simply Merging Upcycled Mixture-of-Experts☆35Updated last year
- ☆36Updated last year
- Documenting large text datasets 🖼️ 📚☆14Updated last year
- NAACL '24 (Best Demo Paper RunnerUp) / MlSys @ NeurIPS '23 - RedCoast: A Lightweight Tool to Automate Distributed Training and Inference☆69Updated last year
- The official code release for Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization☆34Updated 10 months ago
- ☆26Updated 4 years ago
- Data for "Datamodels: Predicting Predictions with Training Data"☆97Updated 2 years ago
- SyReNN: Symbolic Representations for Neural Networks☆41Updated 2 years ago
- ☆27Updated last year
- ☆26Updated 2 years ago
- https://csstipendrankings.org☆218Updated 3 months ago
- "Every Author as First Author" paper from SIGTBD 2023, about superimposing author names in a stack☆117Updated last year
- Self-Supervised Alignment with Mutual Information☆20Updated last year
- Interpretating the latent space representations of attention head outputs for LLMs☆36Updated last year
- Official Python client library for the OpenReview API☆220Updated this week
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆87Updated last year
- ☆53Updated last year
- Code for Neural Execution Engines: Learning to Execute Subroutines☆18Updated 4 years ago
- Repository for the COLM 2025 paper SpecDec++: Boosting Speculative Decoding via Adaptive Candidate Lengths☆14Updated 5 months ago
- A curated list of papers related to program synthesis, program induction, program execution, program and code repair, and programmatic re…☆167Updated 4 years ago