edemaine / author-stack-paperLinks
"Every Author as First Author" paper from SIGTBD 2023, about superimposing author names in a stack
☆114Updated 9 months ago
Alternatives and similar repositories for author-stack-paper
Users that are interested in author-stack-paper are comparing it to the libraries listed below
Sorting:
- Text-Guided Synthesis of Scientific Vector Graphics with TikZ☆102Updated 6 months ago
- A random event driven text-based game engine.☆253Updated last year
- Meaningful titles for tabs and PDF downloads! Also supports tab search.☆323Updated last month
- ☆34Updated 7 months ago
- https://csstipendrankings.org☆216Updated 2 weeks ago
- Neural Networks and the Chomsky Hierarchy☆210Updated last year
- arXiv.org non-official badge implementation for Markdown files☆36Updated 5 years ago
- Command-line tool to inspect the difference between (the text in) two PDF files☆239Updated 3 years ago
- A curated list of papers related to program synthesis, program induction, program execution, program and code repair, and programmatic re…☆168Updated 4 years ago
- Beyond Straight-Through☆102Updated 2 years ago
- ☆101Updated last year
- Official Python client library for the OpenReview API☆204Updated this week
- Move the bricks to complete your PhD☆179Updated 3 years ago
- ☆69Updated 3 years ago
- Ying Nian Wu's UCLA Statistical Machine Learning Tutorial on generative modeling.☆61Updated 2 years ago
- Official implementation of "From Zero to Hero: Convincing with Extremely Complicated Math" (SIGBOVIK'23).☆85Updated 2 years ago
- Tutorial on neural theorem proving☆177Updated last year
- Template and style files for ICLR☆251Updated last month
- ☆14Updated 6 months ago
- University of Illinois letterhead template☆13Updated 6 years ago
- A scalable abstraction learning library☆82Updated last month
- Code for the paper "On the Expressivity Role of LayerNorm in Transformers' Attention" (Findings of ACL'2023)☆57Updated last year
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆38Updated 2 years ago
- MI and Formal Verification of NNs on Algorithmic tasks!☆19Updated last year
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆330Updated 2 years ago
- This repository includes code to reproduce the tables in "Loss Landscapes are All You Need: Neural Network Generalization Can Be Explaine…☆40Updated 2 years ago
- A convenient way to trigger synchronizations to wandb / Weights & Biases if your compute nodes don't have internet!☆86Updated last week
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆206Updated 4 months ago
- ☆32Updated 6 months ago
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆92Updated 9 months ago