I have published the list of resources for the prover mechanism on github so that other researchers can benefit from it.
Created notes on prover mechanisms: https://hackmd.io/@nilu/provernotes
Started quantifying prover mechanism metrics for the optimization problem: https://hackmd.io/@nilu/proveroptimization