Alternatives and similar repositories for certified-reasoning:

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

• CyrusNuevoDia / llegos
  A strongly typed Python DSL for developing message passing multi agent systems
  ☆52Updated 11 months ago
• 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…
  ☆65Updated 3 months ago
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆63Updated last year
• teknium1 / transformers-gptq-quant
  ☆48Updated last year
• teknium1 / LLM-Benchmark-Logs
  Just a bunch of benchmark logs for different LLMs
  ☆119Updated 7 months ago
• kenshin9000 / ConceptARC-Representations
  This repository explains and provides examples for "concept anchoring" in GPT4.
  ☆72Updated last year
• joshuacnf / Ctrl-G
  ☆80Updated 2 months ago
• xjdr-alt / muzero_sketch
  ☆38Updated 7 months ago
• official-elinas / zeus-llm-trainer
  Zeus LLM Trainer is a rewrite of Stanford Alpaca aiming to be the trainer for all Large Language Models
  ☆69Updated last year
• harmonic-ai / datasets
  Harmonic Datasets
  ☆36Updated 8 months ago
• AblateIt / finetune-study
  Comprehensive analysis of difference in performance of QLora, Lora, and Full Finetunes.
  ☆82Updated last year
• doomslide / autoloom
  ☆20Updated 4 months ago
• xjdr-alt / llmri
  look how they massacred my boy
  ☆63Updated 5 months ago
• abetlen / program-constrained-language-model-sampling
  ☆34Updated last year
• ConsequentAI / fneval
  Functional Benchmarks and the Reasoning Gap
  ☆84Updated 5 months ago
• stunningpixels / lou-eval
  Track the progress of LLM context utilisation
  ☆53Updated 8 months ago
• Neural-Dragon-AI / Cynde
  A Framework For Intelligence Farming
  ☆13Updated 10 months ago
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆76Updated 7 months ago
• cognitivecomputations / kraken
  ☆65Updated 9 months ago
• KhoomeiK / complexity-scaling
  gzip Predicts Data-dependent Scaling Laws
  ☆34Updated 9 months ago
• Aleph-Alpha / scaling
  Scaling is a distributed training library and installable dependency designed to scale up neural networks, with a dedicated module for tr…
  ☆58Updated 4 months ago
• euclaise / supertrainer2000
  ☆49Updated last year
• arcee-ai / DAM
  ☆48Updated 4 months ago
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆118Updated last year
• NousResearch / StripedHyenaTrainer
  ☆60Updated last year
• allenai / CommonGen-Eval
  Evaluating LLMs with CommonGen-Lite
  ☆89Updated last year
• emrgnt-cmplxty / zero-shot-replication
  ☆73Updated last year
• gabegrand / lilo
  LILO: Library Induction with Language Observations
  ☆84Updated 6 months ago
• kernelmachine / cbtm
  Code repository for the c-BTM paper
  ☆106Updated last year
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆27Updated last year