Risultati della ricerca - Gehr, Timon

  • Mostra 1 - 2 risultati su 2
Raffina i risultati
  1. 1
    Copertina

    AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs di Ünsal, Mert, Gehr, Timon, Vechev, Martin

    Pubblicazione 2024
    Testo
    Preprint

    Aggiungi alla lista
    Salvato in:
  2. 2
    Copertina

    Modular Synthesis of Efficient Quantum Uncomputation di Venev, Hristo, Gehr, Timon, Dimitrov, Dimitar, Vechev, Martin

    Pubblicazione 2024
    Testo
    Preprint

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: