Resultados da pesquisa - First, Emily

Refinar resultados
  1. Imagem da capa

    CoqPyt: Proof Navigation in Python in the Era of LLMs Por Carrott, Pedro

    Publicado no arXiv.org (May 7, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Adic. favoritos
    Na minha lista:
  2. Imagem da capa

    Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving Por An, Chenyang

    Publicado no arXiv.org (Jul 29, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Adic. favoritos
    Na minha lista:
  3. Imagem da capa

    Cobblestone: Iterative Automation for Formal Verification Por Saketh Ram Kasibatla

    Publicado no arXiv.org (Oct 25, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Adic. favoritos
    Na minha lista:
  4. Imagem da capa

    Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Por Thompson, Kyle

    Publicado no arXiv.org (Dec 18, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Adic. favoritos
    Na minha lista:
  5. Imagem da capa

    Getting More out of Large Language Models for Proofs Por Zhang, Shizhuo Dylan

    Publicado no arXiv.org (May 31, 2023)
    Citation/Abstract
    Full text outside of ProQuest
    Adic. favoritos
    Na minha lista:
  6. Imagem da capa

    Passport: Improving Automated Formal Verification Using Identifiers Por Sanchez-Stern, Alex

    Publicado no arXiv.org (Aug 2, 2022)
    Citation/Abstract
    Full text outside of ProQuest
    Adic. favoritos
    Na minha lista:
  7. Imagem da capa

    Baldur: Whole-Proof Generation and Repair with Large Language Models Por First, Emily

    Publicado no arXiv.org (Mar 16, 2023)
    Citation/Abstract
    Full text outside of ProQuest
    Adic. favoritos
    Na minha lista:
  8. Imagem da capa

    Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Por Thompson, Kyle

    Citation/Abstract
    Adic. favoritos
    Na minha lista:
  9. Imagem da capa

    Magmatic Environments and Timescales: Experimental Studies on Martian Basalt and Terrestrial Dacite Por First, Emily C.

    Publicado no ProQuest Dissertations and Theses (2017)
    Citation/Abstract
    Full Text - PDF
    Adic. favoritos
    Na minha lista:
  10. Imagem da capa

    Correction to: Phosphorus and aluminum zoning in olivine: contrasting behavior of two nominally incompatible trace elements Por Shea, Thomas

    Citation/Abstract
    Full Text - PDF
    Adic. favoritos
    Na minha lista:
  11. Imagem da capa

    Phosphorus and aluminum zoning in olivine: contrasting behavior of two nominally incompatible trace elements Por Shea, Thomas

    Citation/Abstract
    Full Text - PDF
    Adic. favoritos
    Na minha lista:
  12. Imagem da capa

    My Art, My Health: Creating empathy through sculpture, Otto Kamensek in dialogue with Jacqueline Davidson Por Kamensek, Otto

    Publicado no Cogent Arts & Humanities (Dec 2017)
    Citation/Abstract
    Full Text - PDF
    Adic. favoritos
    Na minha lista:
  13. Imagem da capa

    Effects of superheating magnitude on olivine growth Por First, Emily C

    Citation/Abstract
    Full Text - PDF
    Adic. favoritos
    Na minha lista:
  14. Imagem da capa

    Use of a Novel Panel of Monoclonal Antibodies against CENP-F for the Analysis of Cancerous Cells Por Compton, Karlin A

    Publicado no Microscopy and Microanalysis (Jul 2016)
    Citation
    Full Text - PDF
    Adic. favoritos
    Na minha lista:
  15. Imagem da capa

    Magma balloons or bombs? Por Shea, Thomas

    Publicado no Nature Geoscience (Oct 2013)
    Citation
    Full Text
    Full Text - PDF
    Adic. favoritos
    Na minha lista:
  16. Imagem da capa

    Why CAR-T cell therapy is new frontier in cancer care [Times Nation] Por What Is CART Cell Therapy Its a cell therapy in which a part of the bodys immune system T cells are primed to target

    Publicado no The Times of India (Online) (Feb 17, 2024)
    Citation
    Full Text
    Adic. favoritos
    Na minha lista:
  17. Imagem da capa

    Why CAR-T cell therapy is new frontier in cancer care [Times Nation] Por Why is NexCAR19 at centre stageIt is technically just another brand offering CART cell therapy the breakthrough that got American scientist James P Allison

    Publicado no The Times of India (Online) (Feb 16, 2024)
    Citation
    Full Text
    Adic. favoritos
    Na minha lista:
  18. Imagem da capa

    Why CAR-T cell therapy is new frontier in cancer care [Times Nation] Por What Is CART Cell TherapyIts a cell therapy in which a part of the bodys immune system T cells are primed to target

    Publicado no The Times of India (Online) (Feb 16, 2024)
    Citation
    Full Text
    Adic. favoritos
    Na minha lista:
  19. Imagem da capa

    Diversity-Driven Automated Formal Verification Por First, Emily

    Citation/Abstract
    Adic. favoritos
    Na minha lista:
  20. Imagem da capa

    PRoofster: Automated Formal Verification Por Agrawal, Arpan

    Citation/Abstract
    Adic. favoritos
    Na minha lista:

Ferramentas de pesquisa: