Artificial intelligence and the evidentiary process: The challenges of formalism and computation · Study