Contract hyperparameters? #235
NicolasRouquette
started this conversation in
General
Replies: 1 comment 1 reply
-
This makes sense to me. What part of the functionality do you think should be part of Pacti vs. part of an external algorithm that calls Pacti? |
Beta Was this translation helpful? Give feedback.
1 reply
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
In the space mission case study, I defined several functions to generate contracts using specific values of constant parameters, e.g:
These function arguments define contract hyperparameters that would be useful for generating contracts using statistical sampling techniques to vary how many distinct instances of this contract to compose (i.e. the
s
argument) and the generation range for each instance.Beta Was this translation helpful? Give feedback.
All reactions