Question: looking for pointers to efforts on proof axiology

Stream: general

[Deleted User 968128]

With recent improvements around autoformalization, being able to find more useful intermediate proofs in an automated way will become increasingly important.

I searched but could not find any focused discipline around basically answering the question - 'Assuming I have multiple efficacious candidates, which would be the most valuable intermediate proof for this problem?'

The topic seemed to be more tribal knowledge than well defined and measurable taxonomies, but it is very likely I just don't know where to look.