mayabenowitz / Origins
A minimalistic-bootstrap to find a quantum theory of the cosmos.
☆100Updated 2 months ago
Alternatives and similar repositories for Origins:
Users that are interested in Origins are comparing it to the libraries listed below
- Grounding LLM mathematical reasoning with proof assistants.☆60Updated last year
- ☆28Updated last year
- Categorica: a pure and applied category theory framework for the Wolfram Language☆30Updated 9 months ago
- ☆16Updated this week
- Renderer for molecular nanotechnology☆66Updated 4 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆58Updated 5 months ago
- Learning Universal Predictors☆72Updated 5 months ago
- a categorical deep learning compiler☆114Updated 8 months ago
- A production-grade framework for building AI agents.☆70Updated last year
- The history files when recording human interaction while solving ARC tasks☆96Updated last week
- Gravitas: Analytical and numerical general relativity in discrete and continuous spacetimes☆87Updated last year
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆64Updated last year
- ☆46Updated last month
- A simple API converting a user's proposed tweet into a veritable banger.☆100Updated last year
- Augment GPT-4 Environment Access☆288Updated last year
- Some of the scripts I use for scribepod @ https://scribepod.substack.com/, an automated AI podcast☆172Updated last year
- gpt completions in vscode☆33Updated last year
- ☆113Updated 2 months ago
- A collection of essays and code on algebraic methods to evaluate noisy judges on unlabeled test data.☆36Updated 2 months ago
- This repository explains and provides examples for "concept anchoring" in GPT4.☆72Updated last year
- My writings about ARC (Abstraction and Reasoning Corpus)☆64Updated last week
- Content of the Active Inference Journal☆35Updated 4 months ago
- ☆9Updated last year
- Simple Transformer in Jax☆128Updated 6 months ago
- Port of Facebook's LLaMA model in C/C++☆45Updated last year
- GPT-3 on your command line☆131Updated last year
- Gradient descent is cool and all, but what if we could delete it?☆103Updated 3 weeks ago
- ☆86Updated 2 years ago
- cadCAD implementation in Julia☆15Updated last month