Building a push-button RESOLVE verifier: Progress and challenges

By M. Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, P. Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, W. Heym, J. Kirschenbaum and 3 more. Formal Aspects of Computing, 2011

889 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/6d816b1a9b2b78a9e07b00ece206b1f27376d4f8

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Joy Y. Wang
2. Hongyi Li
3. Yang Yang
4. Weiqi Hong
5. Mengyuan Huang
6. Min Wu
7. Xia Zhao
8. Rajiv K. Tonk

Citations in the corpus

• World checklist of hornworts and liverworts (2016, neutral): “*** Phaeomegaceros fimbriatus (Gottsche) R.J.Duff, J.C.Villarreal, Cargill et Renzaglia, Bryologist 110 (2): 241, 2007 (Duff et al. 2007).”
• Materials challenges and opportunities for quantum computing hardware (2021, neutral): “Atomswith two electrons in the valence shell, whose singly ionized state thus has a single valence electron, are commonly used for QIP; these include isotopes of Be, Mg, Ca, Sr, Ba, and Yb, among others [see (282) for a discussion of possible qubit encodings within these ions].”
• Triboelectric nanogenerator sensors for soft robotics aiming at digital twin applications (2020, neutral): “(9) (10) (11) (12) (13) (14) (15) (16) Drink”
• CRISPR technology: A decade of genome editing is only the beginning (2023, background): “Additionally, because most mammalian species lack established ES cell lines, CRISPR-Cas9 editing has facilitated the development of genetically engineered animal models in new species (37, 38).”