VerifierPoolScenario
Training scenarios · Implementation: mlsysim/engine/scenario_definitions/training.py.
Construct this scenario with keyword inputs. The fields below show the types and defaults declared by this class.
Completed trajectories arriving in batches, each verified by repeated trials.
Notes
Equation: Composition of mlsysim.solvers.VerifierPoolModel.solve.
Assumptions: Inputs are routed to VerifierPoolModel.solve; their documented regimes and units apply to this configuration.
Excludes: Additional mechanisms beyond the linked solver contracts; the scenario does not collect measurements.
References
Derivation: This scenario binds named inputs to VerifierPoolModel. The linked solver contracts own equations, sources, and result-unit definitions.
Examples
Evaluate the named configuration and display a modeled result.
>>> from mlsysim import Scenarios
>>> case = Scenarios.RepairVerifierPool
>>> value = case.result.slots
>>> print(value)
960Attributes
| Name | Description |
|---|---|
| interval | |
| result | Evaluate the stated verifier pool case through VerifierPoolModel.solve; returns its typed result and quantity units. |
| target_utilization | |
| trajectories | |
| trial_time | |
| trials |
trajectories
Type: int.
Declared default: required.
interval
Type: Quantity.
Declared default: required.
trials
Type: int.
Declared default: required.
trial_time
Type: Quantity.
Declared default: required.
target_utilization
Type: float.
Declared default: required.
result
engine.scenario_types.VerifierPoolScenario.result
Evaluate the stated verifier pool case through VerifierPoolModel.solve; returns its typed result and quantity units.
Calculation: mlsysim.solvers.VerifierPoolModel.solve.