Refining Probabilistic-Linearization TIDA for 5-Round SHA3-384 Collision Attacks (Full Version) | AIChainDay