Alternatives and similar repositories for AutomaTikZ

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

• gregorbachmann / Next-Token-Failures
  ☆85Updated last year
• protagolabs / odyssey-math
  ☆83Updated 4 months ago
• dangxingyu / rnn-icrag
  Official repository of paper "RNNs Are Not Transformers (Yet): The Key Bottleneck on In-context Retrieval"
  ☆27Updated last year
• chen-judge / UniGeo
  [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression
  ☆29Updated 2 years ago
• shawntan / stickbreaking-attention
  Stick-breaking attention
  ☆56Updated 2 months ago
• loganrjmurphy / LeanEuclid
  LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
  ☆100Updated last month
• FormalGeo / FormalGeo
  Formal representation and solving for Euclidean plane geometry problems.
  ☆24Updated 4 months ago
• y0mingzhang / diffuse-distributions
  Forcing Diffuse Distributions out of Language Models
  ☆15Updated 8 months ago
• HKUNLP / diffusion-vs-ar
  [ICLR 2025] Code for the paper "Beyond Autoregression: Discrete Diffusion for Complex Reasoning and Planning"
  ☆60Updated 3 months ago
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆38Updated 2 years ago
• Sphere-AI-Lab / FormalMATH-Bench
  ☆51Updated last week
• yegcjs / DiffusionLLM
  Code for paper "Diffusion Language Models Can Perform Many Tasks with Scaling and Instruction-Finetuning"
  ☆78Updated last year
• sail-sg / scaling-with-vocab
  [NeurIPS-2024] 📈 Scaling Laws with Vocabulary: Larger Models Deserve Larger Vocabularies https://arxiv.org/abs/2407.13623
  ☆84Updated 8 months ago
• hkust-nlp / llm-compression-intelligence
  Official github repo for the paper "Compression Represents Intelligence Linearly" [COLM 2024]
  ☆136Updated 8 months ago
• wellecks / lm-evaluation-harness
  A framework for few-shot evaluation of autoregressive language models.
  ☆24Updated last year
• zhixuan-lin / forgetting-transformer
  [ICLR 2025] Official PyTorch implementation of "Forgetting Transformer: Softmax Attention with a Forget Gate"
  ☆107Updated 3 weeks ago
• weigq / openview_quicklook
  ☆34Updated 2 months ago
• MoonshotAI / CombiBench
  ☆27Updated last week
• pipilurj / G-LLaVA
  Official github repo of G-LLaVA
  ☆141Updated 3 months ago
• LMCRC / Newclid
  Automatic solver for plane geometry problems.
  ☆30Updated last month
• Silent-Zebra / twisted-smc-lm
  ☆29Updated 2 months ago
• nouhadziri / faith-and-fate
  ☆34Updated last year
• dvruette / gidd
  Code accompanying the paper "Generalized Interpolating Discrete Diffusion"
  ☆82Updated this week
• MikeWangWZHL / VDLM
  Repo for paper: https://arxiv.org/abs/2404.06479
  ☆27Updated 8 months ago
• srush / LLM-Talk
  ☆51Updated last year
• declare-lab / LLM-PuzzleTest
  This repository is maintained to release dataset and models for multimodal puzzle reasoning.
  ☆90Updated 3 months ago
• igul222 / plaid
  ☆98Updated 2 years ago
• ylsung / vl-merging
  PyTorch codes for the paper "An Empirical Study of Multimodal Model Merging"
  ☆37Updated last year
• kfdong / STP
  The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
  ☆84Updated 2 months ago
• Lagooon / LeanSTaR
  ☆43Updated 8 months ago