ArXiv paper miner finished