Verify the autocorrelation solution for UPPER BOUND optimization

Verifies the C2 lower bound solution using the rigorous, unitless, piecewise linear integral method.

Verify the solution for the C3 UPPER BOUND optimization.

Verifies the C5 upper bound solution.

Verifies the C6 lower bound solution.

Verifies the hexagon packing construction with a rotated outer hexagon. Args: inner_hex_data: List of (x, y, angle_degrees) tuples for inner h

Verifies the hexagon packing construction with a rotated outer hexagon. Args: inner_hex_data: List of (x, y, angle_degrees) tuples for inner h

Checks that after normalizing, the points correspond to a valid sphere packing for kissing numbers. Args: sphere_centers: the list of sph

Verifies the correctness of the tensor decomposition.

Verify MLIR tools are available

Verify required MLIR tools

Visualize the circle packing Args: centers: np.array of shape (n, 2) with (x, y) coordinates radii: np.array of shape (n) wi

Visualize the circle packing Args: centers: np.array of shape (n, 2) with (x, y) coordinates radii: np.array of shape (n) wi

Context manager entry

Context manager exit

Initialize the adapter. Args: algotune_path: Path to AlgoTune repository directory (e.g., /path/to/AlgoTune)

Initialize the FFTComplexScipyFFTpack.

Initialize the EigenvectorsComplex.

Initialize the EigenvectorsComplex.

Initialize the Convolve2DFullFill.

Initialize the Convolve2DFullFill.

Initialize the AffineTransform2D.

Initialize the AffineTransform2D.

Initialize the PolynomialReal.

Initialize the PolynomialReal.

Initialize the PSDConeProjection.

Initialize the PSDConeProjection.

Initialize the FFTConvolution.

Initialize the FFTConvolution.

Initialize the LUFactorization.

Initialize the LUFactorization.

Initialize the evolution tracer Args: output_path: Path to save trace data format: Output format ('jsonl', '

Initialize the EmbeddingClient. Args: model (str): The OpenAI embedding model name to use.

Post-initialization to resolve ${VAR} env var references in api_key

Post-initialization to set up model configurations

JSON deserializer for artifacts that handles bytes

JSON serializer for artifacts that handles bytes

Safely format improvement metrics

Safely format metrics, handling both numeric and string values

Invalidate the diversity cache when programs change significantly

Check if a string is a valid UUID

Log iteration progress Args: iteration: Iteration number parent: Parent program child: Child pro

Penalize negative values of P(x) on [0, Xmax]; mild weighting to emphasize larger x.

Computes the objective function, which is the C1 ratio. We minimize this ratio to find a tight upper bound.

The loss function includes the objective and a penalty for the constraint.

Computes the C3 ratio. The goal is to minimize this value.

Run a single iteration in a worker process

Safely calculate average of only numeric metric values

Safely sum only numeric metric values, ignoring strings and other types

Initialize worker process with necessary components

Add or update a fragment

Add or update a template