genlm / llampplLinks
Probabilistic programming with large language models
☆129Updated 2 weeks ago
Alternatives and similar repositories for llamppl
Users that are interested in llamppl are comparing it to the libraries listed below
Sorting:
- A domain-specific probabilistic programming language for modeling and inference with language models☆132Updated 3 months ago
- Notebooks accompanying Anthropic's "Toy Models of Superposition" paper☆128Updated 2 years ago
- ☆62Updated 8 months ago
- ☆30Updated 4 months ago
- Extract full next-token probabilities via language model APIs☆247Updated last year
- ☆68Updated 2 years ago
- Materials for ConceptARC paper☆98Updated 9 months ago
- Learning Universal Predictors☆78Updated last year
- 🧱 Modula software package☆216Updated 2 weeks ago
- ☆104Updated 6 months ago
- ☆136Updated 4 months ago
- Composable inference algorithms with LLMs and programmable logic☆70Updated 8 months ago
- The Energy Transformer block, in JAX☆59Updated last year
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- gzip Predicts Data-dependent Scaling Laws☆35Updated last year
- An environment for learning formal mathematical reasoning from scratch☆72Updated 11 months ago
- ☆29Updated last year
- Harmonic Datasets☆45Updated last year
- Neural theorem proving tutorial, version II☆38Updated last year
- ☆88Updated 7 months ago
- A mechanistic approach for understanding and detecting factual errors of large language models.☆47Updated last year
- ☆247Updated last month
- ☆35Updated 8 months ago
- Sparse and discrete interpretability tool for neural networks☆63Updated last year
- ☆209Updated 2 years ago
- Erasing concepts from neural representations with provable guarantees☆232Updated 6 months ago
- nanoGPT-like codebase for LLM training☆102Updated 2 months ago
- A MAD laboratory to improve AI architecture designs 🧪☆123Updated 7 months ago
- Emergent world representations: Exploring a sequence model trained on a synthetic task☆186Updated 2 years ago
- A programming language for formal/informal computation.☆41Updated last week