On the public citation graph

zenodo.20535149

0 signed · 1 inferred

Is this your work? Claiming opens shortly — you’ll sign in with ORCID and put your name on the claims that are yours.

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.48550/arXiv.2306.15626 | LeanDojo: Theorem Proving with Retrieval-Augmented Language Models | Yang, K. et al. | 2023 | Conference paper (NeurIPS 2023)zenodo-depositor-declared

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.