Home Gudgeon and gist Freedom to Tinker Can AI reduce burdens on courts by automatically verifying citations?