Resultados da pesquisa - Alexandra Newcomb

  • A mostrar 1 - 2 resultados de 2
Refinar resultados
Lista   Grid  
  1. 1

    Formal methods for safety-critical machine learning: a systematic literature review Por Alexandra Newcomb, Omar Ochoa

    Publicado em 2026-02-01
    Obter o texto integral
    Artigo
    Adic. favoritos
    Na minha lista:
  2. 2

    Preconditions and Postconditions as Design Constraints for LLM Code Generation Por Luke Newcomb, Alexandra Newcomb, Omar Ochoa

    Publicado em 2025-01-01
    Obter o texto integral
    Artigo
    Adic. favoritos
    Na minha lista:

Ferramentas de pesquisa: