LLMs have recently helped find solutions to a number of minor longstanding problems. But a new plan called First Proof is really putting them to the test ...

Abstract: For expensive multiobjective optimization problems, there exists useful knowledge, e.g., the trained surrogate models, can be transferred to assist the optimization of a target optimization ...

Abstract: Generating optimal excitation trajectories is crucial for ensuring that the observation matrix is well conditioned in robot dynamic identification. This task is a typical optimization ...