My understanding is that, since all the alloying metals we add to lead are less dense, the resulting alloy will cast a lighter boolit compared to pure lead.
There may be formulas that will predict the density of an alloy with more or less tin or antimony, or with mixed alloys of unknown content but known density, but, like you, I just do the empirical thing by taking notes on what weight I get with a given alloy and mold. Since I make up large batches of casting alloy from metals of known content, I'm pretty sure I can get consistent casting results.