Resultados de búsqueda - First, Emily

  • Mostrando 1 - 5 Resultados de 5
Limitar resultados
  1. 1
    Imagen de Portada

    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

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

    Agregar a favoritos
    Guardado en:
  2. 2
    Imagen de Portada

    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

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

    Agregar a favoritos
    Guardado en:
  3. 3
    Imagen de Portada

    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

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

    Agregar a favoritos
    Guardado en:
  4. 4
    Imagen de Portada

    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

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

    Agregar a favoritos
    Guardado en:
  5. 5
    Imagen de Portada

    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

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

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: