Search Results - First, Emily

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Cover Image

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

    Published 2024
    Fuente: arXiv
    Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  2. 2
    Cover Image

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

    Published 2024
    Fuente: arXiv
    Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  3. 3
    Cover Image

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

    Published 2025
    Fuente: arXiv
    Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  4. 4
    Cover Image

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

    Published 2024
    Fuente: arXiv
    Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  5. 5
    Cover Image

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

    Published 2024
    Fuente: arXiv
    Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:

Search Tools: