Alternatives and similar repositories for AutomaTikZ

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

• mlfoundations / scaling
  Language models scale reliably with over-training and on downstream tasks
  ☆97Updated last year
• igul222 / plaid
  ☆95Updated last year
• gregorbachmann / Next-Token-Failures
  ☆85Updated last year
• wellecks / lm-evaluation-harness
  A framework for few-shot evaluation of autoregressive language models.
  ☆24Updated last year
• Sphere-AI-Lab / FormalMATH-Bench
  ☆47Updated last week
• KihoPark / linear_rep_geometry
  ☆93Updated 3 months ago
• MikeWangWZHL / VDLM
  Repo for paper: https://arxiv.org/abs/2404.06479
  ☆27Updated 7 months ago
• chen-judge / UniGeo
  [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression
  ☆28Updated 2 years ago
• shawntan / stickbreaking-attention
  Stick-breaking attention
  ☆53Updated 2 months ago
• mcleish7 / arithmetic
  Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)
  ☆189Updated 11 months ago
• jmerullo / lm_vector_arithmetic
  ☆35Updated last year
• LMCRC / Newclid
  Automatic solver for plane geometry problems.
  ☆29Updated 2 weeks ago
• declare-lab / LLM-PuzzleTest
  This repository is maintained to release dataset and models for multimodal puzzle reasoning.
  ☆83Updated 2 months ago
• cloneofsimo / insightful-nn-papers
  These papers will provide unique insightful concepts that will broaden your perspective on neural networks and deep learning
  ☆48Updated last year
• y0mingzhang / diffuse-distributions
  Forcing Diffuse Distributions out of Language Models
  ☆15Updated 8 months ago
• evandez / relations
  How do transformer LMs encode relations?
  ☆48Updated last year
• protagolabs / odyssey-math
  ☆83Updated 3 months ago
• weigq / openview_quicklook
  ☆34Updated 2 months ago
• ericwtodd / function_vectors
  Function Vectors in Large Language Models (ICLR 2024)
  ☆166Updated last month
• nouhadziri / faith-and-fate
  ☆33Updated last year
• FormalGeo / FormalGeo
  Formal representation and solving for Euclidean plane geometry problems.
  ☆21Updated 4 months ago
• sail-sg / scaling-with-vocab
  [NeurIPS-2024] 📈 Scaling Laws with Vocabulary: Larger Models Deserve Larger Vocabularies https://arxiv.org/abs/2407.13623
  ☆84Updated 7 months ago
• HKUNLP / DiffuLLaMA
  [ICLR2025] DiffuGPT and DiffuLLaMA: Scaling Diffusion Language Models via Adaptation from Autoregressive Models
  ☆162Updated 2 months ago
• jonathan-roberts1 / zerobench
  Code, Data and Red Teaming for ZeroBench
  ☆46Updated 2 weeks ago
• google-deepmind / bbeh
  ☆70Updated last week
• loganrjmurphy / LeanEuclid
  LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
  ☆99Updated 2 weeks ago
• justinlovelace / Diffusion-Guided-LM
  ☆27Updated 9 months ago
• kfdong / STP
  The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
  ☆79Updated last month
• hila-chefer / Conceptor
  Official implementation of the paper The Hidden Language of Diffusion Models
  ☆72Updated last year
• potamides / DaTikZ
  ☆15Updated last month