Alternatives and similar repositories for AutomaTikZ:

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

• protagolabs / odyssey-math
  ☆83Updated last month
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆170Updated last month
• chen-judge / UniGeo
  [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression
  ☆28Updated 2 years ago
• wellecks / lm-evaluation-harness
  A framework for few-shot evaluation of autoregressive language models.
  ☆24Updated last year
• wesg52 / universal-neurons
  Universal Neurons in GPT2 Language Models
  ☆27Updated 9 months ago
• nouhadziri / faith-and-fate
  ☆34Updated 11 months ago
• ericwtodd / function_vectors
  Function Vectors in Large Language Models (ICLR 2024)
  ☆142Updated 5 months ago
• liuchengwucn / FIMO
  ☆31Updated 4 months ago
• evandez / relations
  How do transformer LMs encode relations?
  ☆46Updated last year
• MikeWangWZHL / VDLM
  Repo for paper: https://arxiv.org/abs/2404.06479
  ☆26Updated 5 months ago
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆36Updated last year
• sjelassi / transformers_ssm_copy
  ☆30Updated last year
• probcomp / hfppl
  Probabilistic programming with HuggingFace language models
  ☆102Updated this week
• KihoPark / linear_rep_geometry
  ☆88Updated last month
• y0mingzhang / diffuse-distributions
  Forcing Diffuse Distributions out of Language Models
  ☆14Updated 6 months ago
• wenhuchen / TheoremQA
  The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset
  ☆157Updated 10 months ago
• gregorbachmann / Next-Token-Failures
  ☆81Updated last year
• dangxingyu / rnn-icrag
  Official repository of paper "RNNs Are Not Transformers (Yet): The Key Bottleneck on In-context Retrieval"
  ☆25Updated 10 months ago
• albertqjiang / MMA
  The official repository for the paper Multilingual Mathematical Autoformalization
  ☆34Updated 9 months ago
• Silent-Zebra / twisted-smc-lm
  ☆24Updated 2 weeks ago
• JoshEngels / MultiDimensionalFeatures
  Code for reproducing our paper "Not All Language Model Features Are Linear"
  ☆70Updated 3 months ago
• trishullab / PutnamBench
  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
  ☆91Updated this week
• princeton-nlp / PTP
  Improving Language Understanding from Screenshots. Paper: https://arxiv.org/abs/2402.14073
  ☆27Updated 8 months ago
• ruiqi-zhong / nlparam
  Augmenting Statistical Models with Natural Language Parameters
  ☆22Updated 5 months ago
• BlinkDL / LinearAttentionArena
  Here we will test various linear attention designs.
  ☆59Updated 10 months ago
• abhishekpanigrahi1996 / transformer_in_transformer
  ☆44Updated last year
• Nix07 / finetuning
  This repository contains the code used for the experiments in the paper "Fine-Tuning Enhances Existing Mechanisms: A Case Study on Entity…
  ☆25Updated 11 months ago
• loganrjmurphy / LeanEuclid
  LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
  ☆87Updated 9 months ago
• google / belief-localization
  This repository includes code for the paper "Does Localization Inform Editing? Surprising Differences in Where Knowledge Is Stored vs. Ca…
  ☆59Updated last year