Alternatives and similar repositories for pyoverleaf

Users that are interested in pyoverleaf are comparing it to the libraries listed below

• openreview / openreview
  The most recent documentation of OpenReview
  ☆20Updated last week
• YaelDillies / LeanAPAP
  Formalisation of the Kelley-Meka bound on Roth numbers
  ☆17Updated 2 weeks ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆49Updated last week
• google / drjax
  ☆11Updated 2 weeks ago
• srush / anynp
  Proof-of-concept of global switching between numpy/jax/pytorch in a library.
  ☆18Updated 10 months ago
• srush / drop7
  ☆18Updated last year
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆37Updated 2 years ago
• harish-kamath / rqae
  Residual Quantization Autoencoder, used for interpreting LLMs
  ☆12Updated 4 months ago
• csfaculty / csfaculty.github.io
  Interview questions for Computer Science faculty jobs
  ☆40Updated last year
• uds-se / autoreject
  Autoreject.org — An automatic review generator
  ☆69Updated last year
• MilesCranmer / pysr_scaling_laws
  You should use PySR to find scaling laws. Here's an example.
  ☆33Updated last year
• jaywonchung / reason
  A shell for research papers
  ☆195Updated last year
• EleutherAI / mdl
  Minimum Description Length probing for neural network representations
  ☆19Updated 3 months ago
• yachty66 / EconomicAgents
  Implementation of the paper "Large Language Models as Simulated Economic Agents: What Can We Learn from Homo Silicus?"
  ☆21Updated last year
• trishullab / copra
  COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
  ☆60Updated this week
• collinskatie / checkmate
  ☆45Updated 7 months ago
• catid / dataloader
  High-performance tokenized language data-loader for Python C++ extension
  ☆13Updated 9 months ago
• wellecks / transformers4math-simons
  Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025
  ☆33Updated last month
• Letianwu / ZMCintegral
  An easy way to use multi-GPUs to calculate multi-dimensional integration
  ☆20Updated 2 years ago
• trisongz / pylines
  Simplifying parsing of large jsonline files in NLP Workflows
  ☆12Updated 3 years ago
• samblouir / birdie
  ☆13Updated 2 months ago
• stanford-cs324 / winter2023
  ☆36Updated 2 years ago
• Some-random / theorem-proving-reasoning
  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
  ☆22Updated 11 months ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆36Updated last year
• Yuanhy1997 / HyPe
  HyPe: Better Pre-trained Language Model Fine-tuning with Hidden Representation Perturbation [ACL 2023]
  ☆14Updated last year
• ml4ai / automates
  AutoMATES: Automated Model Assembly from Text, Equations, and Software
  ☆25Updated last year
• HumanCompatibleAI / leela-interp
  Code for "Evidence of Learned Look-Ahead in a Chess-Playing Neural Network"
  ☆21Updated 11 months ago
• IBM / pyflowgraph
  Flow graphs for Python
  ☆26Updated 2 years ago
• mvcisback / dfa
  A simple python implementation of a DFA.
  ☆21Updated last year
• tonywu95 / LIME
  Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
  ☆29Updated 3 years ago