Fixed-Budget Allocation in Neural Differential Distinguishers | AIChainDay