Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
30 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

30 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
    Florath, Andreas
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Online Machine Learning Techniques for Coq: A Comparison
    Zhang, Liao ; Blaauwbroek, Lasse ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    The Tactician (extended version): A Seamless, Interactive Tactic Learner and Prover for Coq
    Blaauwbroek, Lasse ; Urban, Josef ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq
    Vajjha, Koundinya ; Shinnar, Avraham ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Tactic Learning and Proving for the Coq Proof Assistant
    Blaauwbroek, Lasse ; Urban, Josef ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Social Network Processes in the Isabelle and Coq Theorem Proving Communities
    Fleuriot, Jacques ; Obua, Steven ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Recycling Proof Patterns in Coq: Case Studies
    Heras, Jónathan ; Komendantskaya, Ekaterina
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages
    Mercer, Johnathan
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving
    Rute, Jason ; Olšák, Miroslav ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    An In-Context Learning Agent for Formal Theorem-Proving
    Thakur, Amitayush ; Tsoukalas, George ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs
    Cunningham, Garett ; Bunescu, Razvan C. ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search
    Brandfonbrener, David ; Raja, Sibi ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Towards Automated Readable Proofs of Ruler and Compass Constructions
    Marinković, Vesna ; Šukilović, Tijana ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    GamePad: A Learning Environment for Theorem Proving
    Huang, Daniel ; Dhariwal, Prafulla ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Verifying an algorithm computing Discrete Vector Fields for digital imaging
    Heras, Jónathan ; Poza, María ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Industrial-Strength Formally Certified SAT Solving
    Darbari, Ashish ; Fischer, Bernd ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Common knowledge logic in a higher order proof assistant?
    Lescanne, Pierre
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Vampire With a Brain Is a Good ITP Hammer
    Suda, Martin
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Epistemic Phase Transitions in Mathematical Proofs
    Viteri, Scott ; DeDeo, Simon
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Ordered Functional Decision Diagrams: A Functional Semantics For Binary Decision Diagrams
    Thibault, Joan ; Ghorbal, Khalil
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -