AI systems are beginning to produce proof ideas that experts take seriously, even when final acceptance is still pending.
Abstract: Expensive constrained multi-objective optimization problems (ECMOPs) are prevalent in engineering practice and are characterized by extremely high evaluation costs for both objective and ...