Models of ProHMo Benchmark Paper