efore solving/sampling.</p><p>Optionally, a background program in aspif format can be specified using parameter backgroundProgramAspifOpt.
In this case, the rules specified using GroundSymbolicASPRule are added to those in the background program.</p><p>To specify arbitrary differentiable loss functions (beyond those indirectly specified using probabilistic rule weights) and parameter
atoms, use parameter paramAtomsAndInnerCostsStrOpt in method solve(). An example for this is analogous to the example
in <a h