Trained Verifier Models Collection Surrogate code verifiers across three model sizes trained using multiple different algorithms as described in the Aletheia paper • 21 items • Updated about 12 hours ago