Alternatives and similar repositories for AutomaTikZ:

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

• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆36Updated last year
• protagolabs / odyssey-math
  ☆82Updated 3 weeks ago
• evandez / relations
  How do transformer LMs encode relations?
  ☆46Updated 11 months ago
• wellecks / lm-evaluation-harness
  A framework for few-shot evaluation of autoregressive language models.
  ☆24Updated last year
• KihoPark / linear_rep_geometry
  ☆86Updated last week
• weigq / openview_quicklook
  ☆31Updated 10 months ago
• y0mingzhang / diffuse-distributions
  Forcing Diffuse Distributions out of Language Models
  ☆14Updated 5 months ago
• nouhadziri / faith-and-fate
  ☆34Updated 10 months ago
• gregorbachmann / Next-Token-Failures
  ☆80Updated 11 months ago
• Some-random / theorem-proving-reasoning
  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
  ☆20Updated 8 months ago
• chen-judge / UniGeo
  [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression
  ☆27Updated 2 years ago
• HKUNLP / diffusion-vs-ar
  [ICLR 2025] Code for the paper "Beyond Autoregression: Discrete Diffusion for Complex Reasoning and Planning"
  ☆32Updated last week
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆167Updated last week
• liuchengwucn / FIMO
  ☆30Updated 3 months ago
• UFO-101 / auto-circuit
  A library for efficient patching and automatic circuit discovery.
  ☆53Updated this week
• Silent-Zebra / twisted-smc-lm
  ☆24Updated this week
• probcomp / hfppl
  Probabilistic programming with HuggingFace language models
  ☆96Updated this week
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆165Updated last year
• JoshEngels / MultiDimensionalFeatures
  Code for reproducing our paper "Not All Language Model Features Are Linear"
  ☆68Updated 2 months ago
• loganrjmurphy / LeanEuclid
  LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
  ☆84Updated 8 months ago
• albertqjiang / draft_sketch_prove
  ☆64Updated last year
• HKUNLP / diffusion-of-thoughts
  [NeurIPS 2024] Code for the paper "Diffusion of Thoughts: Chain-of-Thought Reasoning in Diffusion Language Models"
  ☆109Updated 11 months ago
• ericwtodd / function_vectors
  Function Vectors in Large Language Models (ICLR 2024)
  ☆138Updated 4 months ago
• Nix07 / finetuning
  This repository contains the code used for the experiments in the paper "Fine-Tuning Enhances Existing Mechanisms: A Case Study on Entity…
  ☆23Updated 11 months ago
• justinlovelace / Diffusion-Guided-LM
  ☆22Updated 6 months ago
• MikeWangWZHL / VDLM
  Repo for paper: https://arxiv.org/abs/2404.06479
  ☆25Updated 4 months ago
• redwoodresearch / Easy-Transformer
  ☆109Updated 6 months ago
• wesg52 / universal-neurons
  Universal Neurons in GPT2 Language Models
  ☆27Updated 8 months ago
• jmerullo / lm_vector_arithmetic
  ☆31Updated last year
• koayon / atp_star
  PyTorch and NNsight implementation of AtP* (Kramar et al 2024, DeepMind)
  ☆18Updated last month