Alternatives and similar repositories for AutomaTikZ

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

• FormalGeo / FormalGeo
  Formal representation and solving for Euclidean plane geometry problems.
  ☆32Updated last month
• protagolabs / odyssey-math
  ☆85Updated last year
• gregorbachmann / Next-Token-Failures
  ☆108Updated last year
• wmn-231314 / diffusion-data-constraint
  Official PyTorch implementation and models for paper "Diffusion Beats Autoregressive in Data-Constrained Settings". We find diffusion mod…
  ☆119Updated 3 weeks ago
• Silent-Zebra / twisted-smc-lm
  ☆31Updated 10 months ago
• chen-judge / UniGeo
  [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression
  ☆33Updated 3 years ago
• JoshEngels / MultiDimensionalFeatures
  Code for reproducing our paper "Not All Language Model Features Are Linear"
  ☆83Updated last year
• mlfoundations / scaling
  Language models scale reliably with over-training and on downstream tasks
  ☆99Updated last year
• wesg52 / universal-neurons
  Universal Neurons in GPT2 Language Models
  ☆30Updated last year
• epfml / schedules-and-scaling
  Code for NeurIPS 2024 Spotlight: "Scaling Laws and Compute-Optimal Training Beyond Fixed Training Durations"
  ☆88Updated last year
• g-luo / vlm_cross_modal_reps
  Official PyTorch Implementation for Vision-Language Models Create Cross-Modal Task Representations, ICML 2025
  ☆31Updated 8 months ago
• KihoPark / linear_rep_geometry
  ☆114Updated 11 months ago
• yegcjs / DiffusionLLM
  Code for paper "Diffusion Language Models Can Perform Many Tasks with Scaling and Instruction-Finetuning"
  ☆84Updated 2 years ago
• ChenWu98 / algorithmic-creativity
  [ICML 2025] Roll the dice & look before you leap: Going beyond the creative limits of next-token prediction
  ☆84Updated 8 months ago
• lupantech / ineqmath
  Solving Inequality Proofs with Large Language Models.
  ☆56Updated last month
• pipilurj / G-LLaVA
  Official github repo of G-LLaVA
  ☆148Updated 11 months ago
• Sphere-AI-Lab / FormalMATH-Bench
  ☆75Updated 3 weeks ago
• psunlpgroup / VisOnlyQA
  This repository contains the code and data for the paper "VisOnlyQA: Large Vision Language Models Still Struggle with Visual Perception o…
  ☆28Updated 6 months ago
• declare-lab / LLM-PuzzleTest
  This repository is maintained to release dataset and models for multimodal puzzle reasoning.
  ☆113Updated 11 months ago
• da03 / markup2im
  Diffusion-based markup-to-image generation
  ☆83Updated 2 years ago
• potamides / DaTikZ
  ☆23Updated 10 months ago
• jonathan-roberts1 / zerobench
  Code, Data and Red Teaming for ZeroBench
  ☆53Updated last month
• igul222 / plaid
  ☆111Updated 2 years ago
• wenhuchen / TheoremQA
  The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset
  ☆160Updated last year
• ericwtodd / function_vectors
  Function Vectors in Large Language Models (ICLR 2024)
  ☆190Updated 9 months ago
• hkust-nlp / llm-compression-intelligence
  Official github repo for the paper "Compression Represents Intelligence Linearly" [COLM 2024]
  ☆147Updated last year
• jiasenlu / LL3M
  LL3M: Large Language and Multi-Modal Model in Jax
  ☆74Updated last year
• jkallini / mission-impossible-language-models
  Code repository for the paper "Mission: Impossible Language Models."
  ☆56Updated 4 months ago
• HKUNLP / diffusion-of-thoughts
  [NeurIPS 2024] Code for the paper "Diffusion of Thoughts: Chain-of-Thought Reasoning in Diffusion Language Models"
  ☆197Updated 10 months ago
• mcleish7 / arithmetic
  Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)
  ☆198Updated last year