gpoesia / certified-reasoning

Related projects: ⓘ

• CyrusOfEden / llegos
  A strongly typed Python DSL for developing message passing multi agent systems
  ☆50Updated 5 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…
  ☆53Updated this week
• joshuacnf / Ctrl-G
  ☆68Updated 2 months ago
• teknium1 / transformers-gptq-quant
  ☆48Updated 11 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
  ☆67Updated last year
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆59Updated last year
• sacha-ichbiah / outlines-mlx
  A fast minimalistic implementation of guided generation on Apple Silicon using Outlines and MLX
  ☆42Updated 7 months ago
• teknium1 / LLM-Benchmark-Logs
  Just a bunch of benchmark logs for different LLMs
  ☆112Updated last month
• ConsequentAI / fneval
  Functional Benchmarks and the Reasoning Gap
  ☆74Updated last month
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆60Updated 4 months ago
• emrgnt-cmplxty / zero-shot-replication
  ☆71Updated last year
• JoinTheAlliance / agentmemory
  Easy-to-use agent memory, powered by chromadb and postgres
  ☆56Updated 11 months ago
• serp-ai / Parameter-Efficient-MoE
  Parameter-Efficient Sparsity Crafting From Dense to Mixture-of-Experts for Instruction Tuning on General Tasks
  ☆31Updated 3 months ago
• JD-P / minihf
  MiniHF is an inference, human preference data collection, and fine-tuning tool for local language models. It is intended to help the user…
  ☆143Updated this week
• Neural-Dragon-AI / Cynde
  A Framework For Intelligence Farming
  ☆13Updated 4 months ago
• agiresearch / Formal-LLM
  Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
  ☆102Updated 3 months ago
• aidanmclaughlin / Aidan-Bench
  Aidan Bench attempts to measure <big_model_smell> in LLMs.
  ☆64Updated this week
• kanishkg / stream-of-search
  Repository for the paper Stream of Search: Learning to Search in Language
  ☆70Updated last month
• AblateIt / finetune-study
  Comprehensive analysis of difference in performance of QLora, Lora, and Full Finetunes.
  ☆81Updated last year
• VITA-Group / ChainCoder
  📜 [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswa…
  ☆36Updated 10 months ago
• abetlen / program-constrained-language-model-sampling
  ☆34Updated last year
• stunningpixels / lou-eval
  Track the progress of LLM context utilisation
  ☆53Updated 2 months ago
• zbambergerNLP / strategic-debate-tot
  A DSPy-based implementation of the tree of thoughts method (Yao et al., 2023) for generating persuasive arguments
  ☆49Updated 3 weeks ago
• r2d4 / parserllm
  Use context-free grammars with an LLM
  ☆162Updated 5 months ago
• outlines-dev / functions
  ☆38Updated this week
• CarperAI / treasure_trove
  ☆22Updated last year
• gabegrand / lilo
  LILO: Library Induction with Language Observations
  ☆77Updated 3 weeks ago
• LachlanGray / lmql-tree-of-thoughts
  LMQL implementation of tree of thoughts
  ☆33Updated 7 months ago
• yacineMTB / just-large-models
  Just large language models. Hackable, with as little abstraction as possible. Done for my own purposes, feel free to rip.
  ☆42Updated last year
• cognitivecomputations / spectrum
  ☆75Updated 3 weeks ago