sdascoli / boolformerLinks
☆163Updated last year
Alternatives and similar repositories for boolformer
Users that are interested in boolformer are comparing it to the libraries listed below
Sorting:
- Evaluation of neuro-symbolic engines☆35Updated 10 months ago
- Functional Benchmarks and the Reasoning Gap☆87Updated 8 months ago
- ☆86Updated 5 months ago
- ☆51Updated last year
- Learning Universal Predictors☆76Updated 10 months ago
- Causal DAG Extraction from Text (DEFT)☆66Updated 5 months ago
- Automatic gradient descent☆208Updated 2 years ago
- Brain-Inspired Modular Training (BIMT), a method for making neural networks more modular and interpretable.☆171Updated 2 years ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated 11 months ago
- OMNI: Open-endedness via Models of human Notions of Interestingness☆50Updated 4 months ago
- ☆68Updated 10 months ago
- The GeoV model is a large langauge model designed by Georges Harik and uses Rotary Positional Embeddings with Relative distances (RoPER).…☆121Updated 2 years ago
- Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)☆190Updated last year
- Functional local implementations of main model parallelism approaches☆95Updated 2 years ago
- Q-Probe: A Lightweight Approach to Reward Maximization for Language Models☆41Updated last year
- Code for Language-Interfaced FineTuning for Non-Language Machine Learning Tasks.☆128Updated 7 months ago
- σ-GPT: A New Approach to Autoregressive Models☆65Updated 10 months ago
- gzip Predicts Data-dependent Scaling Laws☆35Updated last year
- Resources from the EleutherAI Math Reading Group☆53Updated 3 months ago
- Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"☆59Updated 3 years ago
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆87Updated 3 months ago
- ☆53Updated last year
- Certified Reasoning with Language Models☆31Updated last year
- Domain Specific Language for the Abstraction and Reasoning Corpus☆267Updated 8 months ago
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆61Updated 11 months ago
- Repository for the paper Stream of Search: Learning to Search in Language☆148Updated 4 months ago
- Extending Conformal Prediction to LLMs☆66Updated last year
- ☆81Updated last year
- Experiments for efforts to train a new and improved t5☆77Updated last year
- ☆92Updated last year