Operating procedure for long-running empirical/computational mathematics research on DeepSeek Harness: context-isolated multi-agent exploration in the style of Jin's Crouzeix run and Tao's collaborative projects, dual-track ground-truth derivation,…
RigorQuant literature lane: walled, grad-student-style citation-graph traversal per research line, an independent literature adversary for validity + freshness, and the verified-negative membrane that keeps the novel lane un-anchored. Load for known/novel…
Find academic papers and the best version of an article across arXiv, Crossref, Unpaywall, Semantic Scholar, and Google Scholar. Covers the free open APIs, scripted Scholar scraping with cluster expansion to enumerate every version, block detection with a…
Search arXiv papers by keyword, author, category, or ID.