An open library for your next question. Public pilot
Executable Science
Log inCreate account
← Explore the library
CURATED COLLECTION · 52 RESOURCES

Optimization

Compare objectives, stopping rules and the limits of a solution.

Questions to work through.

Explore the sources.

All 52 resources →
External articles

[Re] Faster Teaching via POMDP Planning

A replication about automated teaching formulated as planning in a partially observable decision process.

Listing reviewed · source terms apply
Software

Accelerate

Training and inference orchestration for studying device placement, mixed precision and distributed execution without changing the scientific objective.

Listing reviewed · source terms apply
Methods

Advanced Features

A guide to dual variables, transformations, problem arithmetic and canonical forms for convex optimization.

Listing reviewed · source terms apply
Datasets

Auction Verification

Auction-verification workload descriptors for examining computational cost prediction.

Listing reviewed · source terms apply
Software

BayesianOptimization

Bayesian optimization for bounded black-box objective functions.

Listing reviewed · source terms apply
Software

bitsandbytes

Low-precision tensor and optimizer components for investigating memory and numerical-error tradeoffs.

Listing reviewed · source terms apply
Software

Chex

Assertions and testing utilities for JAX programs, useful for expressing shape, type and transformation expectations.

Listing reviewed · source terms apply