Use and abuse of instance parameters in the Lean mathematical library.

Published in: CoRR (2022)

Keyphrases

maximum likelihood
sensitivity analysis
measured data
fine tuning
input parameters
parameter space
multi agent
evolutionary algorithm
mobile robot
trade off
expectation maximization
parameter estimation
knowledge base
decision making
parameter selection
learning algorithm
data sets