reissbaker / clevergpt

Related projects: ⓘ

• neurallambda / arc-like
  Like ARC, but code to generate visual puzzles. 1D puzzles first.
  ☆15Updated last month
• gpoesia / certified-reasoning
  Certified Reasoning with Language Models
  ☆27Updated 9 months ago
• andrew-silva / mlx-rlhf
  An example implementation of RLHF (or, more accurately, RLAIF) built on MLX and HuggingFace.
  ☆21Updated 2 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆58Updated last week
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆16Updated last year
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆104Updated 4 months ago
• charlesfrye / raskell
  RASP-L in Haskell for my fellow rascals
  ☆18Updated 9 months ago
• joey00072 / Attention-as-graph
  alternative way to calculating self attention
  ☆18Updated 3 months ago
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆29Updated last week
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆53Updated last month
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆95Updated 9 months ago
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆60Updated 4 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆88Updated last month
• okarthikb / state-space-models
  ☆27Updated 2 months ago
• mag- / gpu_benchmark
  Gpu benchmark
  ☆35Updated 2 weeks ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆26Updated 2 months ago
• willkurt / evenflow
  Framework for Self-Organizing Python Agents
  ☆30Updated 7 months ago
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆59Updated last year
• adamnemecek / traceoid.ai
  ☆25Updated 2 weeks ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆111Updated last month
• VictorTaelin / ab_challenge_eval
  Evaluator for the A::B Prompting Challenge
  ☆24Updated 5 months ago
• nelhage / transformer-rs
  A sketch of a Transformer in Rust for a blog post
  ☆27Updated 2 years ago
• lumpenspace / FRAG
  Flexible, efficient, and context-aware generation from large unstructured knowledge sources.
  ☆12Updated 4 months ago
• HigherOrderCO / monobook
  AGDA
  ☆22Updated this week
• abetlen / program-constrained-language-model-sampling
  ☆34Updated last year
• JD-P / RetroInstruct
  Synthetic data derived by templating, few shot prompting, transformations on public domain corpora, and monte carlo tree search.
  ☆18Updated 2 months ago
• tomsanbear / bitnet-rs
  Implementing the BitNet model in Rust
  ☆22Updated 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
• morph-labs / mci
  ☆49Updated this week
• jxmorris12 / gptzip
  Losslessly encode text natively with arithmetic coding and HuggingFace Transformers
  ☆66Updated last month