Risultati della ricerca - Pathak, Shashank

  • Mostra 1 - 5 risultati su 5
Raffina i risultati
  1. 1

    GFLean: An Autoformalisation Framework for Lean via GF Autoría: Pathak, Shashank

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
  2. 2

    Pre-trained protein language model for codon optimization Autoría: Pathak, Shashank, Lin, Guohui

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
  3. 3
  4. 4
  5. 5