teorth / optimizationproblemsLinks
A collection of optimization problems in mathematics
☆77Updated this week
Alternatives and similar repositories for optimizationproblems
Users that are interested in optimizationproblems are comparing it to the libraries listed below
Sorting:
- A collection of lightweight interpretability scripts to understand how LLMs think☆89Updated this week
- Our solution to Putnam 2025.☆61Updated 2 weeks ago
- Verification of Google DeepMind's AlphaEvolve 48-multiplication matrix algorithm, a breakthrough in matrix multiplication after 56 years.☆131Updated 7 months ago
- Pivotal Token Search☆142Updated last month
- ☆33Updated 9 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆75Updated 5 months ago
- Digital Red Queen: Adversarial Program Evolution in Core War with LLMs☆158Updated 2 weeks ago
- Dialectical reasoning architecture for LLMs (Thesis → Antithesis → Synthesis)☆107Updated this week
- ☆183Updated last month
- Official implementation of GRAPE: Group Representational Position Encoding (https://arxiv.org/abs/2512.07805)☆74Updated 3 weeks ago
- Because it's there.☆16Updated last year
- Tensor-Slayer : Manipulate weights and tensors of LLMs to achieve performance upgrades and introduce a novel inferenceless mechanistic in…☆27Updated 8 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- A framework for pitting LLMs against each other in an evolving library of games ⚔☆34Updated 9 months ago
- code for training and using chess embeddings models☆13Updated last year
- ☆52Updated last year
- Implementation for robust ViT and scaled attention☆21Updated 9 months ago
- ☆40Updated last year
- Pokedex for LLMs☆14Updated 9 months ago
- OLMost every training recipe you need to perform data interventions with the OLMo family of models.☆64Updated this week
- Minimal open-source implementation of AlphaProof [WIP]☆60Updated this week
- Transformer with Mu-Parameterization, implemented in Jax/Flax. Supports FSDP on TPU pods.☆32Updated 7 months ago
- CLaMR: Contextualized Late-Interaction for Multimodal Content Retrieval☆23Updated 6 months ago
- coloring terminal text with intensities (used for plotting probability, entropy with tokens)☆12Updated last year
- Simplified implementation of UMAP like dimensionality reduction algorithm☆53Updated last year
- The Automated LLM Speedrunning Benchmark measures how well LLM agents can reproduce previous innovations and discover new ones in languag…☆127Updated 3 months ago
- Pytorch script hot swap: Change code without unloading your LLM from VRAM☆125Updated 9 months ago
- Training hybrid models for dummies.☆29Updated 2 months ago
- Universal Reasoning Model☆121Updated last week
- Transformer GPU VRAM estimator☆67Updated last year