oughtinc / hchLinks
Humans consulting HCH
☆10Updated 7 years ago
Alternatives and similar repositories for hch
Users that are interested in hch are comparing it to the libraries listed below
Sorting:
- Command-line recursive question-answering with immutable contexts and explicit data store☆26Updated 6 years ago
- a writeup on some experiments on a sequence model for chess games☆30Updated 3 years ago
- A web app for recursive question-answering with pointers☆38Updated 2 years ago
- ☆9Updated 5 years ago
- Pytorch implementation on OpenAI's Procgen ppo-baseline, built from scratch.☆14Updated last year
- ☆21Updated 3 years ago
- A software agent illustrating some features of an illusionist account of consciousness☆14Updated 7 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- A dataset of alignment research and code to reproduce it☆77Updated last year
- a simulacrum standing in place of Gavin Leech☆16Updated last week
- Mechanistic Interpretability for Transformer Models☆51Updated 3 years ago
- ☆12Updated 4 years ago
- Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat☆121Updated last month
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 3 years ago
- Metamath verifier in Python☆39Updated last year
- 🦠 AD in less than 20 lines☆54Updated 3 years ago
- ☆79Updated 4 years ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆42Updated last week
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago
- Code to support the guide to logical induction for software engineers☆11Updated 2 months ago
- ☆61Updated 3 weeks ago
- Grounding LLM mathematical reasoning with proof assistants.☆62Updated last year
- Python library which enables complex compositions of language models such as scratchpads, chain of thought, tool use, selection-inference…☆208Updated 4 months ago
- Test prompts for GPT-J-6B and the resulting AI-generated texts☆53Updated 3 years ago
- A simple way to manage and store the data related to all your research papers!☆17Updated 2 years ago
- Conversational chatbot to answer questions about AI Safety & Alignment based on information retrieved from the Alignment Research Dataset☆14Updated 2 weeks ago
- Holophrasm: a neural Automated Theorem Prover for higher-order logic☆55Updated 5 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 4 years ago
- A Python library for integrating model-based and judgmental forecasting☆107Updated 3 years ago
- Squiggle programming language for intuitive probabilistic estimation features in Python☆77Updated last month