Capitalization tie-out checks if a company’s ownership table truly matches what its legal documents say.
BEAVER is a new way to check, with guaranteed certainty, how likely a language model is to give answers that obey important rules.