Auditable claim extraction and comparison of claims across scientific literature | Manifund