collinskatie / checkmate

Related projects ⓘ

Alternatives and complementary repositories for checkmate

• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆32Updated last month
• harmonic-ai / datasets
  Harmonic Datasets
  ☆32Updated 4 months ago
• ExtensityAI / benchmark
  Evaluation of neuro-symbolic engines
  ☆33Updated 3 months ago
• kanishkg / stream-of-search
  Repository for the paper Stream of Search: Learning to Search in Language
  ☆93Updated 3 months ago
• Dahoas / QDSyntheticData
  ☆13Updated 3 months ago
• VITA-Group / ChainCoder
  [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …
  ☆37Updated last year
• KhoomeiK / complexity-scaling
  gzip Predicts Data-dependent Scaling Laws
  ☆32Updated 5 months ago
• ScalingIntelligence / large_language_monkeys
  ☆55Updated last month
• princeton-nlp / USACO
  Can Language Models Solve Olympiad Programming?
  ☆101Updated 3 months ago
• Lagooon / LeanSTaR
  ☆25Updated 2 months ago
• nyu-mll / ILF-for-code-generation
  ☆75Updated last year
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆125Updated 3 weeks ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆30Updated 6 months ago
• ethz-spylab / superhuman-ai-consistency
  ☆28Updated last year
• likenneth / q_probe
  Q-Probe: A Lightweight Approach to Reward Maximization for Language Models
  ☆37Updated 5 months ago
• google-deepmind / mishax
  ☆101Updated 3 months ago
• TheDuckAI / arb
  Advanced Reasoning Benchmark Dataset for LLMs
  ☆45Updated last year
• Nicolas-Yax / PhyloLM
  Genetics for Language Models
  ☆12Updated 4 months ago
• google-deepmind / dangerous-capability-evaluations
  ☆44Updated last month
• vedantpalit / Towards-Vision-Language-Mechanistic-Interpretability
  This is the official repository for the "Towards Vision-Language Mechanistic Interpretability: A Causal Tracing Tool for BLIP" paper acce…
  ☆17Updated 7 months ago
• JacobPfau / fillerTokens
  ☆49Updated 6 months ago
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆34Updated last year
• ConsequentAI / fneval
  Functional Benchmarks and the Reasoning Gap
  ☆78Updated last month
• anthropics / sleeper-agents-paper
  Contains random samples referenced in the paper "Sleeper Agents: Training Robustly Deceptive LLMs that Persist Through Safety Training".
  ☆84Updated 8 months ago
• JHU-CLSP / RATIONALYST
  Code for RATIONALYST: Pre-training Process-Supervision for Improving Reasoning https://arxiv.org/pdf/2410.01044
  ☆30Updated last month
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆112Updated last year
• martin-wey / CodeUltraFeedback
  CodeUltraFeedback: aligning large language models to coding preferences
  ☆65Updated 4 months ago
• Edward-Sun / gpt-accelera
  Simple and efficient pytorch-native transformer training and inference (batched)
  ☆61Updated 7 months ago
• ScalingIntelligence / Archon
  Archon provides a modular framework for combining different inference-time techniques and LMs with just a JSON config file.
  ☆128Updated last month
• bilal-chughtai / rep-theory-mech-interp
  ☆26Updated last year