Suchergebnisse - Gehr, Timon

  • Treffer 1 - 2 von 2
Treffer weiter einschränken
  1. 1
    Buchumschlag

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

    Veröffentlicht 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    Modular Synthesis of Efficient Quantum Uncomputation Autoría: Venev, Hristo, Gehr, Timon, Dimitrov, Dimitar, Vechev, Martin

    Veröffentlicht 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: