Alternatives and similar repositories for deductive-reasoning:

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

• casper-hansen / OpenCoconut
  OpenCoconut implements a latent reasoning paradigm where we generate thoughts before decoding.
  ☆168Updated 2 months ago
• Mihaiii / backtrack_sampler
  An easy-to-understand framework for LLM samplers that rewind and revise generated tokens
  ☆138Updated last month
• minosvasilias / simple_grpo
  Simple GRPO scripts and configurations.
  ☆59Updated last month
• google-deepmind / latent-multi-hop-reasoning
  [ACL 2024] Do Large Language Models Latently Perform Multi-Hop Reasoning?
  ☆56Updated 2 weeks ago
• xjdr-alt / llmri
  look how they massacred my boy
  ☆63Updated 5 months ago
• s-smits / grpo-optuna
  Optimizing Causal LMs through GRPO with weighted reward functions and automated hyperparameter tuning using Optuna
  ☆39Updated last month
• kubernetes-bad / reward-composer
  Lego for GRPO
  ☆25Updated 2 weeks ago
• JoeLi12345 / nGPT
  an open source reproduction of NVIDIA's nGPT (Normalized Transformer with Representation Learning on the Hypersphere)
  ☆91Updated 3 weeks ago
• attentionmech / mav
  model activation visualiser
  ☆90Updated this week
• OpenEvaByte / evabyte
  EvaByte: Efficient Byte-level Language Models at Scale
  ☆85Updated last week
• argilla-io / argilla-cookbook
  Simple examples using Argilla tools to build AI
  ☆53Updated 4 months ago
• nahidalam / maya
  Maya: An Instruction Finetuned Multilingual Multimodal Model using Aya
  ☆107Updated last month
• arcee-ai / DAM
  ☆48Updated 4 months ago
• writer / writing-in-the-margins
  ☆115Updated 7 months ago
• SalesforceAIResearch / LaTRO
  ☆111Updated last month
• PrimeIntellect-ai / genesys
  ☆107Updated last week
• teknium1 / LLM-Benchmark-Logs
  Just a bunch of benchmark logs for different LLMs
  ☆119Updated 8 months ago
• joshuacnf / Ctrl-G
  ☆80Updated 2 months ago
• THU-KEG / Agentic-Reward-Modeling
  Agentic Reward Modeling: Integrating Human Preferences with Verifiable Correctness Signals for Reliable Reward Systems
  ☆76Updated 3 weeks ago
• AblateIt / finetune-study
  Comprehensive analysis of difference in performance of QLora, Lora, and Full Finetunes.
  ☆82Updated last year
• SinatrasC / entropix
  Entropy Based Sampling and Parallel CoT Decoding
  ☆17Updated 5 months ago
• phunterlau / paper_without_code
  LLM reads a paper and produce a working prototype
  ☆51Updated 2 weeks ago
• facebookresearch / sweet_rl
  Benchmark and research code for the paper SWEET-RL Training Multi-Turn LLM Agents onCollaborative Reasoning Tasks
  ☆140Updated this week
• ScalingIntelligence / Archon
  Archon provides a modular framework for combining different inference-time techniques and LMs with just a JSON config file.
  ☆166Updated 3 weeks ago
• cognitivecomputations / spectrum
  ☆112Updated 6 months ago
• haizelabs / Awesome-LLM-Judges
  ⚖️ Awesome LLM Judges ⚖️
  ☆87Updated last month
• cognitivecomputations / kraken
  ☆66Updated 10 months ago
• facebookresearch / ExploreToM
  Code for ExploreTom
  ☆79Updated 3 months ago
• gkamradt / SnakeBench
  ☆83Updated last month
• LeonGuertler / TextArena
  A Collection of Competitive Text-Based Games for Language Model Evaluation and Reinforcement Learning
  ☆101Updated this week