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.
  ☆33Updated this week
• protagolabs / odyssey-math
  ☆84Updated 5 months ago
• wellecks / lm-evaluation-harness
  A framework for few-shot evaluation of autoregressive language models.
  ☆24Updated last year
• gregorbachmann / Next-Token-Failures
  ☆87Updated last year
• FormalGeo / FormalGeo
  Formal representation and solving for Euclidean plane geometry problems.
  ☆25Updated 6 months ago
• potamides / DaTikZ
  ☆21Updated 4 months ago
• hkust-nlp / llm-compression-intelligence
  Official github repo for the paper "Compression Represents Intelligence Linearly" [COLM 2024]
  ☆138Updated 10 months ago
• princeton-nlp / PTP
  Improving Language Understanding from Screenshots. Paper: https://arxiv.org/abs/2402.14073
  ☆29Updated last year
• psunlpgroup / VisOnlyQA
  This repository contains the code and data for the paper "VisOnlyQA: Large Vision Language Models Still Struggle with Visual Perception o…
  ☆23Updated last week
• mlfoundations / scaling
  Language models scale reliably with over-training and on downstream tasks
  ☆97Updated last year
• igul222 / plaid
  ☆103Updated 2 years ago
• chen-judge / UniGeo
  [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression
  ☆30Updated 2 years ago
• yegcjs / DiffusionLLM
  Code for paper "Diffusion Language Models Can Perform Many Tasks with Scaling and Instruction-Finetuning"
  ☆81Updated last year
• declare-lab / LLM-PuzzleTest
  This repository is maintained to release dataset and models for multimodal puzzle reasoning.
  ☆96Updated 4 months ago
• BlinkDL / LinearAttentionArena
  Here we will test various linear attention designs.
  ☆60Updated last year
• epfml / schedules-and-scaling
  Code for NeurIPS 2024 Spotlight: "Scaling Laws and Compute-Optimal Training Beyond Fixed Training Durations"
  ☆77Updated 8 months ago
• justinlovelace / Diffusion-Guided-LM
  ☆27Updated 11 months ago
• shawntan / stickbreaking-attention
  Stick-breaking attention
  ☆58Updated 2 weeks ago
• multimodal-art-projection / CriticLean
  ☆30Updated this week
• nouhadziri / faith-and-fate
  ☆34Updated last year
• Silent-Zebra / twisted-smc-lm
  ☆29Updated 3 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 9 months ago
• LMCRC / Newclid
  Automatic solver for plane geometry problems.
  ☆34Updated 2 months ago
• google-deepmind / bbeh
  ☆83Updated 2 months ago
• ericwtodd / function_vectors
  Function Vectors in Large Language Models (ICLR 2024)
  ☆172Updated 3 months ago
• jonathan-roberts1 / zerobench
  Code, Data and Red Teaming for ZeroBench
  ☆46Updated 2 months ago
• jiasenlu / LL3M
  LL3M: Large Language and Multi-Modal Model in Jax
  ☆72Updated last year
• JoshEngels / MultiDimensionalFeatures
  Code for reproducing our paper "Not All Language Model Features Are Linear"
  ☆77Updated 7 months ago
• Sphere-AI-Lab / FormalMATH-Bench
  ☆58Updated last month