An open library for your next question. Public pilot
Executable Science
Log inCreate account
THE OPEN LIBRARY

Find your next starting point.

Research, software, data and methods. Inspect the context, compare your options, and take a useful next step.

52 resources · Curated orderClear filters
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

Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.