Skip to main content

CheckerPosteriorScenario

Agents scenarios · Implementation: mlsysim/engine/scenario_definitions/agents.py.

Construct this scenario with keyword inputs. The fields below show the types and defaults declared by this class.

A fallible check over candidates, defect_rate of which violate the property.

Notes

Equation: Compose mlsysim.solvers.CheckerPosteriorModel.

Assumptions: The stated fields are inputs to mlsysim.solvers.CheckerPosteriorModel; its documented validity regime, units, and modeling choices apply unchanged.

Excludes: This scenario adds no measurement, empirical calibration, or mechanisms beyond mlsysim.solvers.CheckerPosteriorModel.

References

Derivation: this scenario binds its input fields to the referenced implementation contracts: mlsysim.solvers.CheckerPosteriorModel. The methods below identify any additional arithmetic.

Examples

>>> from mlsysim import Scenarios
>>> case = Scenarios.PatchCheckerPosterior
>>> type(case.result).__name__
'CheckerPosteriorResult'

Attributes

Name Description
defect_rate
false_accept_rate
result Evaluate this scenario through mlsysim.solvers.CheckerPosteriorModel.solve.
valid_accept_rate

defect_rate

Type: float.

Declared default: required.

false_accept_rate

Type: float.

Declared default: required.

valid_accept_rate

Type: float.

Declared default: required.

result

engine.scenario_types.CheckerPosteriorScenario.result

Evaluate this scenario through mlsysim.solvers.CheckerPosteriorModel.solve. Equation: pass the stated fields to that implementation; its contract defines the calculation and feasibility tests. Units: each returned field follows the referenced result schema; no independent equation is evaluated by this wrapper.

Back to top