Alternatives and similar repositories for author-stack-paper

Users that are interested in author-stack-paper are comparing it to the libraries listed below

• potamides / AutomaTikZ
  Text-Guided Synthesis of Scientific Vector Graphics with TikZ
  ☆100Updated 5 months ago
• morriswmz / phd-game
  A random event driven text-based game engine.
  ☆249Updated last year
• CSStipendRankings / CSStipendRankings
  https://csstipendrankings.org
  ☆211Updated 3 weeks ago
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆174Updated last year
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• openreview / openreview-py
  Official Python client library for the OpenReview API
  ☆197Updated this week
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆81Updated this week
• openai / miniF2F
  Formal to Formal Mathematics Benchmark
  ☆391Updated 2 years ago
• ICLR / Master-Template
  Template and style files for ICLR
  ☆236Updated last week
• google-deepmind / neural_networks_chomsky_hierarchy
  Neural Networks and the Chomsky Hierarchy
  ☆208Updated last year
• shaohua0116 / awesome-program
  A curated list of papers related to program synthesis, program induction, program execution, program and code repair, and programmatic re…
  ☆168Updated 3 years ago
• j3soon / arxiv-utils
  Meaningful titles for tabs and PDF downloads! Also supports tab search.
  ☆313Updated this week
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆200Updated 3 months ago
• lupantech / ineqmath
  Solving Inequality Proofs with Large Language Models.
  ☆44Updated last week
• facebookresearch / miniF2F
  An updated version of miniF2F with lots of fixes and informal statements / solutions.
  ☆91Updated 7 months ago
• loganrjmurphy / LeanEuclid
  LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
  ☆106Updated 3 months ago
• MoonshotAI / CombiBench
  ☆30Updated 2 weeks ago
• openai / lean-gym
  ☆191Updated 2 years ago
• trishullab / PutnamBench
  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
  ☆155Updated this week
• mweiherer / zero2hero
  Official implementation of "From Zero to Hero: Convincing with Extremely Complicated Math" (SIGBOVIK'23).
  ☆85Updated 2 years ago
• weigq / openview_quicklook
  ☆34Updated 5 months ago
• Goedel-LM / Goedel-Prover-V2
  ☆92Updated this week
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆294Updated 7 months ago
• Relento / hypothesis_search
  ☆21Updated 9 months ago
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆108Updated 10 months ago
• kitft / funsearch
  Genetic programming using LLMs
  ☆43Updated 5 months ago
• MurtyShikhar / structural-grokking
  Code for our ACL '23 paper titled "Grokking of Hierarchical Structure in Vanilla Transformers"
  ☆23Updated last year
• yangky11 / miniF2F-lean4
  ☆63Updated last week
• amitness / open-in-overleaf
  Access latex source of any arxiv.org paper directly on overleaf
  ☆201Updated last year
• AllanYangZhou / nfn
  NF-Layers for constructing neural functionals.
  ☆88Updated last year