Alternatives and similar repositories for AutomaTikZ

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

• chen-judge / UniGeo
  [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression
  ☆30Updated 2 years ago
• LMCRC / Newclid
  Automatic solver for plane geometry problems.
  ☆32Updated last month
• MikeWangWZHL / VDLM
  Repo for paper: https://arxiv.org/abs/2404.06479
  ☆28Updated 8 months ago
• igul222 / plaid
  ☆99Updated 2 years ago
• lupantech / ineqmath
  Solving Inequality Proofs with Large Language Models.
  ☆31Updated 2 weeks ago
• Silent-Zebra / twisted-smc-lm
  ☆29Updated 3 months ago
• dangxingyu / rnn-icrag
  Official repository of paper "RNNs Are Not Transformers (Yet): The Key Bottleneck on In-context Retrieval"
  ☆27Updated last year
• shawntan / stickbreaking-attention
  Stick-breaking attention
  ☆57Updated last week
• gregorbachmann / Next-Token-Failures
  ☆86Updated last year
• jonathan-roberts1 / zerobench
  Code, Data and Red Teaming for ZeroBench
  ☆46Updated last month
• yegcjs / DiffusionLLM
  Code for paper "Diffusion Language Models Can Perform Many Tasks with Scaling and Instruction-Finetuning"
  ☆80Updated last year
• ericwtodd / function_vectors
  Function Vectors in Large Language Models (ICLR 2024)
  ☆170Updated 2 months ago
• SakanaAI / Sudoku-Bench
  An AI benchmark for creative, human-like problem solving using Sudoku variants
  ☆70Updated last month
• FormalGeo / FormalGeo
  Formal representation and solving for Euclidean plane geometry problems.
  ☆25Updated 5 months ago
• y0mingzhang / diffuse-distributions
  Forcing Diffuse Distributions out of Language Models
  ☆16Updated 9 months ago
• justinlovelace / Diffusion-Guided-LM
  ☆27Updated 10 months ago
• JoshEngels / MultiDimensionalFeatures
  Code for reproducing our paper "Not All Language Model Features Are Linear"
  ☆75Updated 7 months ago
• hila-chefer / Conceptor
  Official implementation of the paper The Hidden Language of Diffusion Models
  ☆73Updated last year
• epfml / schedules-and-scaling
  Code for NeurIPS 2024 Spotlight: "Scaling Laws and Compute-Optimal Training Beyond Fixed Training Durations"
  ☆74Updated 7 months ago
• protagolabs / odyssey-math
  ☆83Updated 5 months ago
• jkallini / mission-impossible-language-models
  Code repository for the paper "Mission: Impossible Language Models."
  ☆52Updated last month
• psunlpgroup / VisOnlyQA
  This repository contains the code and data for the paper "VisOnlyQA: Large Vision Language Models Still Struggle with Visual Perception o…
  ☆23Updated 3 months ago
• NiteshMethani / PlotQA
  Dataset introduced in PlotQA: Reasoning over Scientific Plots
  ☆77Updated 2 years ago
• nouhadziri / faith-and-fate
  ☆34Updated last year
• pipilurj / G-LLaVA
  Official github repo of G-LLaVA
  ☆143Updated 4 months ago
• KihoPark / linear_rep_geometry
  ☆95Updated 4 months ago
• SynthLabsAI / big-math
  A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models
  ☆57Updated 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…
  ☆27Updated last year
• hkust-nlp / llm-compression-intelligence
  Official github repo for the paper "Compression Represents Intelligence Linearly" [COLM 2024]
  ☆138Updated 9 months ago
• mlfoundations / scaling
  Language models scale reliably with over-training and on downstream tasks
  ☆97Updated last year