Red-Hat-AI-Innovation-Team / its_hubLinks
A Python library for inference-time scaling LLMs
☆27Updated 3 weeks ago
Alternatives and similar repositories for its_hub
Users that are interested in its_hub are comparing it to the libraries listed below
Sorting:
- Code for Bayesian inference for queueing networks with incomplete data☆12Updated 8 years ago
- ☆36Updated 5 months ago
- Probabilistic programming with large language models☆154Updated last month
- ☆124Updated 2 months ago
- How to Train Your Advisor: Steering Black-Box LLMs with Advisor Models☆48Updated 2 months ago
- Notebooks accompanying Anthropic's "Toy Models of Superposition" paper☆131Updated 3 years ago
- A reading list of relevant papers and projects on foundation model annotation☆28Updated 9 months ago
- AlgoTune is a NeurIPS 2025 benchmark made up of 154 math, physics, and computer science problems. The goal is write code that solves each…☆75Updated 3 weeks ago
- fast trainer for educational purposes☆21Updated 3 weeks ago
- ☆208Updated 4 months ago
- ☆31Updated 8 months ago
- ☆24Updated 6 years ago
- Language-annotated Abstraction and Reasoning Corpus☆98Updated 2 years ago
- chrome extension for renaming tabs showing paper-pdfs from common providers☆97Updated 11 months ago
- Proof-of-concept of global switching between numpy/jax/pytorch in a library.☆18Updated last year
- Training API and CLI☆266Updated this week
- Discovering Data-driven Hypotheses in the Wild☆122Updated 6 months ago
- AIRA-dojo: a framework for developing and evaluating AI research agents☆120Updated last month
- Official Repo for InSTA: Towards Internet-Scale Training For Agents☆55Updated 5 months ago
- Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"☆60Updated 3 years ago
- Meta-learning inductive biases in the form of useful conserved quantities.☆38Updated 3 years ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆44Updated 6 months ago
- Evaluation of LLMs on latest math competitions☆204Updated 2 months ago
- An AI benchmark for creative, human-like problem solving using Sudoku variants☆143Updated last week
- ☆77Updated 2 months ago
- ☆51Updated 6 months ago
- $100K or 100 Days: Trade-offs when Pre-Training with Academic Resources☆149Updated 2 months ago
- Design and analyze optimal deep learning models.☆27Updated 4 months ago
- ☆58Updated 3 weeks ago
- ☆10Updated last year