Alternatives and similar repositories for AutomaTikZ

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

• lupantech / ineqmath
  Solving Inequality Proofs with Large Language Models.
  ☆38Updated this week
• protagolabs / odyssey-math
  ☆84Updated 6 months ago
• gregorbachmann / Next-Token-Failures
  ☆90Updated last year
• mlfoundations / scaling
  Language models scale reliably with over-training and on downstream tasks
  ☆97Updated last year
• KihoPark / linear_rep_geometry
  ☆103Updated 6 months ago
• Newclid / Newclid
  Automatic solver for plane geometry problems.
  ☆37Updated this week
• Sphere-AI-Lab / FormalMATH-Bench
  ☆60Updated 3 weeks ago
• epfml / schedules-and-scaling
  Code for NeurIPS 2024 Spotlight: "Scaling Laws and Compute-Optimal Training Beyond Fixed Training Durations"
  ☆81Updated 9 months ago
• igul222 / plaid
  ☆105Updated 2 years ago
• Silent-Zebra / twisted-smc-lm
  ☆30Updated 4 months ago
• srush / LLM-Talk
  ☆51Updated last year
• JoshEngels / MultiDimensionalFeatures
  Code for reproducing our paper "Not All Language Model Features Are Linear"
  ☆77Updated 8 months ago
• dangxingyu / rnn-icrag
  Official repository of paper "RNNs Are Not Transformers (Yet): The Key Bottleneck on In-context Retrieval"
  ☆27Updated last year
• justinlovelace / Diffusion-Guided-LM
  ☆27Updated last year
• wellecks / lm-evaluation-harness
  A framework for few-shot evaluation of autoregressive language models.
  ☆24Updated last year
• jonathan-roberts1 / zerobench
  Code, Data and Red Teaming for ZeroBench
  ☆46Updated 3 months ago
• Lagooon / LeanSTaR
  ☆41Updated 10 months ago
• google-deepmind / bbeh
  ☆86Updated 3 months ago
• FormalGeo / FormalGeo
  Formal representation and solving for Euclidean plane geometry problems.
  ☆26Updated 7 months ago
• Goedel-LM / Goedel-Prover-V2
  ☆67Updated last week
• da03 / markup2im
  Diffusion-based markup-to-image generation
  ☆82Updated 2 years ago
• jxiw / BiGS
  Official Repository of Pretraining Without Attention (BiGS), BiGS is the first model to achieve BERT-level transfer learning on the GLUE …
  ☆114Updated last year
• chen-judge / UniGeo
  [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression
  ☆30Updated 2 years ago
• hkust-nlp / llm-compression-intelligence
  Official github repo for the paper "Compression Represents Intelligence Linearly" [COLM 2024]
  ☆140Updated 10 months ago
• declare-lab / LLM-PuzzleTest
  This repository is maintained to release dataset and models for multimodal puzzle reasoning.
  ☆100Updated 5 months ago
• pipilurj / G-LLaVA
  Official github repo of G-LLaVA
  ☆146Updated 5 months ago
• sail-sg / scaling-with-vocab
  [NeurIPS-2024] 📈 Scaling Laws with Vocabulary: Larger Models Deserve Larger Vocabularies https://arxiv.org/abs/2407.13623
  ☆86Updated 10 months ago
• yegcjs / DiffusionLLM
  Code for paper "Diffusion Language Models Can Perform Many Tasks with Scaling and Instruction-Finetuning"
  ☆83Updated last year
• ericwtodd / function_vectors
  Function Vectors in Large Language Models (ICLR 2024)
  ☆176Updated 3 months ago
• potamides / DaTikZ
  ☆21Updated 4 months ago