Suchergebnisse - Cramer, Marcos

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

    Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report Autoría: Cramer, Marcos, Friese, Tom

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

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK Autoría: Cramer, Marcos, McIntyre, Lucian

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

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: