jkulhanek / pyoverleaf
Python Overleaf API and simple CLI
☆22Updated last year
Alternatives and similar repositories for pyoverleaf:
Users that are interested in pyoverleaf are comparing it to the libraries listed below
- The most recent documentation of OpenReview☆19Updated 2 weeks ago
- ☆18Updated 10 months ago
- ☆9Updated 2 months ago
- A turnkey command for converting a LaTeX source to ar5iv-style HTML☆59Updated 11 months ago
- Minimum Description Length probing for neural network representations☆18Updated 3 weeks ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆18Updated last month
- Proof-of-concept of global switching between numpy/jax/pytorch in a library.☆18Updated 8 months ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆36Updated last year
- High-performance tokenized language data-loader for Python C++ extension☆12Updated 6 months ago
- Website for personal collection and previewing of Beamer and TikZ snippets. Presented with Python/Jinja2.☆109Updated 9 years ago
- code for paper "Accessing higher dimensions for unsupervised word translation"☆21Updated last year
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆25Updated last year
- Autoreject.org — An automatic review generator☆70Updated last year
- Interview questions for Computer Science faculty jobs☆40Updated 11 months ago
- Documentation for dynamic machine learning systems.☆29Updated 5 months ago
- HyPe: Better Pre-trained Language Model Fine-tuning with Hidden Representation Perturbation [ACL 2023]☆14Updated last year
- Personal solutions to the Triton Puzzles☆17Updated 7 months ago
- Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classification☆11Updated last year
- ☆36Updated last year
- You should use PySR to find scaling laws. Here's an example.☆33Updated last year
- ITP (ETHZ) Exercise Sheets - LaTeX Style☆15Updated 10 years ago
- This is an unofficial LaTeX Beamer presentation template for Stanford University.☆58Updated 6 years ago
- Fast algorithm for leverage score sampling, low rank (kernel) matrix factorization and PCA☆16Updated last year
- Code for the paper: https://arxiv.org/pdf/2309.06979.pdf☆19Updated 6 months ago
- Code for Arxiv Double Descent Demystified: Identifying, Interpreting & Ablating the Sources of a Deep Learning Puzzle☆24Updated last year
- A python library to manipulate formal languages and various automata☆47Updated 3 months ago
- An unofficial implementation of the Infini-gram model proposed by Liu et al. (2024)☆30Updated 8 months ago
- Simplifying parsing of large jsonline files in NLP Workflows☆12Updated 3 years ago
- Sudoku solver based on SAT (Boolean Satisfiability) in python☆13Updated 6 years ago