Alternatives and similar repositories for certified-reasoning:

Users that are interested in certified-reasoning are comparing it to the libraries listed below

• joshuacnf / Ctrl-G
  ☆79Updated last week
• GoodAI / goodai-ltm-benchmark
  A library for benchmarking the Long Term Memory and Continual learning capabilities of LLM based agents. With all the tests and code you…
  ☆62Updated last month
• CyrusNuevoDia / llegos
  A strongly typed Python DSL for developing message passing multi agent systems
  ☆51Updated 9 months ago
• ConsequentAI / fneval
  Functional Benchmarks and the Reasoning Gap
  ☆82Updated 3 months ago
• teknium1 / transformers-gptq-quant
  ☆48Updated last year
• official-elinas / zeus-llm-trainer
  Zeus LLM Trainer is a rewrite of Stanford Alpaca aiming to be the trainer for all Large Language Models
  ☆70Updated last year
• doomslide / autoloom
  ☆20Updated 2 months ago
• NousResearch / StripedHyenaTrainer
  ☆60Updated last year
• METR / ai-rd-tasks
  ☆51Updated last week
• ExtensityAI / benchmark
  Evaluation of neuro-symbolic engines
  ☆34Updated 5 months ago
• EleutherAI / improved-t5
  Experiments for efforts to train a new and improved t5
  ☆77Updated 9 months ago
• xjdr-alt / muzero_sketch
  ☆37Updated 5 months ago
• KhoomeiK / complexity-scaling
  gzip Predicts Data-dependent Scaling Laws
  ☆33Updated 7 months ago
• aastroza / structured-generation-benchmark
  Structured Generation Evals
  ☆11Updated 3 months ago
• JD-P / RetroInstruct
  Synthetic data derived by templating, few shot prompting, transformations on public domain corpora, and monte carlo tree search.
  ☆26Updated last month
• AblateIt / finetune-study
  Comprehensive analysis of difference in performance of QLora, Lora, and Full Finetunes.
  ☆82Updated last year
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆113Updated last year
• xjdr-alt / llmri
  look how they massacred my boy
  ☆63Updated 3 months ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆34Updated 6 months ago
• emrgnt-cmplxty / zero-shot-replication
  ☆74Updated last year
• qrdlgit / graph-of-thoughts
  Based on the tree of thoughts paper
  ☆46Updated last year
• Aleph-Alpha / scaling
  Scaling is a distributed training library and installable dependency designed to scale up neural networks, with a dedicated module for tr…
  ☆54Updated 2 months ago
• Alignment-Lab-AI / Our-Projects
  A repository of projects and datasets under active development by Alignment Lab AI
  ☆22Updated last year
• VITA-Group / ChainCoder
  [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …
  ☆40Updated last year
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆60Updated 8 months ago
• euclaise / supertrainer2000
  ☆49Updated 10 months ago
• thomasnormal / fewshot
  ☆27Updated 3 months ago
• Neural-Dragon-AI / Cynde
  A Framework For Intelligence Farming
  ☆13Updated 8 months ago
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆72Updated 5 months ago