Résultats de la recherche - First, Emily

  • Résultat(s) 1 - 5 résultats de 5
Affiner les résultats
  1. 1
    Image de couverture de livre

    CoqPyt: Proof Navigation in Python in the Era of LLMs Autoría: Carrott, Pedro, Saavedra, Nuno, Thompson, Kyle, Lerner, Sorin, Ferreira, João F., First, Emily

    Publié 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  2. 2
    Image de couverture de livre

    Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification Autoría: Kasibatla, Saketh Ram, Agarwal, Arpan, Brun, Yuriy, Lerner, Sorin, Ringer, Talia, First, Emily

    Publié 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  3. 3
    Image de couverture de livre

    Lemmanaid: Neuro-Symbolic Lemma Conjecturing Autoría: Alhessi, Yousef, Einarsdóttir, Sólrún Halla, Granberry, George, First, Emily, Johansson, Moa, Lerner, Sorin, Smallbone, Nicholas

    Publié 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  4. 4
    Image de couverture de livre

    Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving Autoría: An, Chenyang, Chen, Zhibo, Ye, Qihao, First, Emily, Peng, Letian, Zhang, Jiayun, Wang, Zihan, Lerner, Sorin, Shang, Jingbo

    Publié 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  5. 5
    Image de couverture de livre

    Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Autoría: Thompson, Kyle, Saavedra, Nuno, Carrott, Pedro, Fisher, Kevin, Sanchez-Stern, Alex, Brun, Yuriy, Ferreira, João F., Lerner, Sorin, First, Emily

    Publié 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:

Outils de recherche: