edemaine / author-stack-paper

Related projects ⓘ

Alternatives and complementary repositories for author-stack-paper

• potamides / AutomaTikZ
  Text-Guided Synthesis of Scientific Vector Graphics with TikZ
  ☆71Updated 6 months ago
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆94Updated last month
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆243Updated this week
• lukeolson / illinois-letterhead
  Replicating the Illinois letterhead in latex
  ☆41Updated last week
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆134Updated 2 months ago
• j991222 / ai4math-papers
  AI for Mathematics (AI4Math) paper list
  ☆134Updated last month
• CSStipendRankings / CSStipendRankings
  https://csstipendrankings.org
  ☆197Updated last month
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆157Updated 10 months ago
• ruehlef / ribbon
  Code that searches for ribbon bands
  ☆13Updated last year
• openai / lean-gym
  ☆176Updated last year
• amitness / open-in-overleaf
  Access latex source of any arxiv.org paper directly on overleaf
  ☆149Updated 5 months ago
• mweiherer / zero2hero
  Official implementation of "From Zero to Hero: Convincing with Extremely Complicated Math".
  ☆83Updated last year
• facebookresearch / miniF2F
  An updated version of miniF2F with lots of fixes and informal statements / solutions.
  ☆66Updated 5 months ago
• albertqjiang / draft_sketch_prove
  ☆59Updated last year
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆291Updated last year
• google-deepmind / neural_networks_chomsky_hierarchy
  Neural Networks and the Chomsky Hierarchy
  ☆187Updated 7 months ago
• j3soon / arxiv-utils
  Meaningful titles for tabs and PDF downloads! Also supports tab search.
  ☆289Updated last month
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆37Updated last year
• daskol / typst-templates
  A list of paper templates in the area of machine learning.
  ☆110Updated last month
• albertqjiang / MMA
  The official repository for the paper Multilingual Mathematical Autoformalization
  ☆32Updated 6 months ago
• weigq / openview_quicklook
  ☆28Updated 7 months ago
• yangky11 / miniF2F-lean4
  ☆34Updated this week
• shaohua0116 / awesome-program
  A curated list of papers related to program synthesis, program induction, program execution, program and code repair, and programmatic re…
  ☆154Updated 3 years ago
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆112Updated this week
• phfaist / pylatexenc
  Simple LaTeX parser providing latex-to-unicode and unicode-to-latex conversion
  ☆314Updated 2 months ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆74Updated 11 months ago
• trishullab / PutnamBench
  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
  ☆61Updated this week
• loganrjmurphy / LeanEuclid
  LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
  ☆76Updated 5 months ago
• morriswmz / phd-game
  A random event driven text-based game engine.
  ☆187Updated 3 months ago
• liuchengwucn / FIMO
  ☆27Updated 3 weeks ago