sdascoli / boolformer
☆162Updated last year
Alternatives and similar repositories for boolformer:
Users that are interested in boolformer are comparing it to the libraries listed below
- Evaluation of neuro-symbolic engines☆35Updated 8 months ago
- ☆80Updated 3 months ago
- Multibackend Graph Neural Networks in Keras 3☆25Updated last year
- gzip Predicts Data-dependent Scaling Laws☆34Updated 10 months ago
- Certified Reasoning with Language Models☆31Updated last year
- Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)☆189Updated 10 months ago
- Library to facilitate pruning of LLMs based on context☆32Updated last year
- ☆128Updated 3 weeks ago
- ☆94Updated 3 months ago
- ☆67Updated 8 months ago
- Code for Language-Interfaced FineTuning for Non-Language Machine Learning Tasks.☆125Updated 5 months ago
- ☆53Updated last year
- σ-GPT: A New Approach to Autoregressive Models☆62Updated 8 months ago
- ☆30Updated last year
- Automatic gradient descent☆207Updated last year
- Q-Probe: A Lightweight Approach to Reward Maximization for Language Models☆41Updated 10 months ago
- Repository for the paper Stream of Search: Learning to Search in Language☆145Updated 2 months ago
- ReLM is a Regular Expression engine for Language Models☆103Updated last year
- Learning Universal Predictors☆74Updated 8 months ago
- Evaluating LLMs with CommonGen-Lite☆89Updated last year
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆81Updated last month
- ☆61Updated last year
- A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)☆64Updated 7 months ago
- ☆79Updated last year
- ☆118Updated 8 months ago
- ☆55Updated 5 months ago
- The simplest, fastest repository for training/finetuning medium-sized xLSTMs.☆42Updated 11 months ago
- The GeoV model is a large langauge model designed by Georges Harik and uses Rotary Positional Embeddings with Relative distances (RoPER).…☆122Updated last year
- Repository for code used in the xVal paper☆133Updated last year
- ☆49Updated last year