モデリングによる数学的定式化より、
モデリングによる統計学的定式化、
または統計モデリングによる数学的定式化のような

Y<P(つまり、不合格)より、合格点は合格最低点のことですね