See how to use this script as a video tutorial.
Type in a text file where all the DOIs are indicated by "(DOI:10.1063/1.4975327)" with nothing after it on the line (the ".docx" CV extracted from Research Gate works). Then click on the « Launch extraction » button.. The list of DOI entered should be given. You can then use this list of DOI to check if they are on HAL.
Extract DOI from text in another formatLaunch extraction