Alternatives and similar repositories for bayesian-laws-icl

Users that are interested in bayesian-laws-icl are comparing it to the libraries listed below

• feradauto / MoralCoT
  Repo for: When to Make Exceptions: Exploring Language Models as Accounts of Human Moral Judgment
  ☆38Updated 2 years ago
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆140Updated 8 months ago
• wellecks / llemma_formal2formal
  Llemma formal2formal (tactic prediction) theorem proving experiments
  ☆20Updated 2 years ago
• LoryPack / LLM-LieDetector
  Code for the ICLR 2024 paper "How to catch an AI liar: Lie detection in black-box LLMs by asking unrelated questions"
  ☆71Updated last year
• harmonic-ai / datasets
  Harmonic Datasets
  ☆52Updated last year
• ethz-spylab / superhuman-ai-consistency
  ☆30Updated 2 years ago
• Lagooon / LeanSTaR
  ☆42Updated last year
• JacobPfau / fillerTokens
  ☆75Updated last year
• justinlovelace / Diffusion-Guided-LM
  ☆29Updated 2 months ago
• ExtensityAI / benchmark
  Evaluation of neuro-symbolic engines
  ☆41Updated last year
• casmlab / NPHardEval
  Repository for NPHardEval, a quantified-dynamic benchmark of LLMs
  ☆63Updated last year
• joshuacnf / Ctrl-G
  ☆105Updated last year
• qrdlgit / graph-of-thoughts
  Based on the tree of thoughts paper
  ☆48Updated 2 years ago
• EleutherAI / features-across-time
  Understanding how features learned by neural networks evolve throughout training
  ☆41Updated last year
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆40Updated last year
• KoyenaPal / future-lens
  Code and Data Repo for the CoNLL Paper -- Future Lens: Anticipating Subsequent Tokens from a Single Hidden State
  ☆20Updated 2 months ago
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆39Updated 2 years ago
• ConsequentAI / fneval
  Functional Benchmarks and the Reasoning Gap
  ☆89Updated last year
• scottlogic-alex / prm800k-denorm
  Script for processing OpenAI's PRM800K process supervision dataset into an Alpaca-style instruction-response format
  ☆27Updated 2 years ago
• r-three / RAD
  Reference implementation for Reward-Augmented Decoding: Efficient Controlled Text Generation With a Unidirectional Reward Model
  ☆45Updated 3 months ago
• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆47Updated 5 months ago
• KaiNylund / lm-weights-encode-time
  ☆69Updated last year
• janphilippfranken / sami
  Self-Supervised Alignment with Mutual Information
  ☆20Updated last year
• collinskatie / checkmate
  ☆45Updated last year
• Silent-Zebra / twisted-smc-lm
  ☆31Updated 9 months ago
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆81Updated last year
• zhaoxlpku / SubgoalXL
  ☆25Updated last year
• GXimingLu / IPA
  Codebase for Inference-Time Policy Adapters
  ☆24Updated 2 years ago
• zhangir-azerbayev / proof-pile
  Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.
  ☆22Updated 3 years ago
• EleutherAI / rnngineering
  Engineering the state of RNN language models (Mamba, RWKV, etc.)
  ☆32Updated last year