Woche: June 24, 16:30-18:00 (HS 14) | Seminar Formal Methods and Automated Reasoning II (SS 2025) | RISC

Abschnittsübersicht

Viktoria Langenreither

Liam Smithers
- Aktivität A Saturation-Based Automated Theorem Prover for RISCAL auswählen
  
  A Saturation-Based Automated Theorem Prover for RISCAL Datei PDF
- Aktivität Learning As Abduction: Trainable Natural Language Theorem Prover for Natural Language Inference auswählen
  
  Learning As Abduction: Trainable Natural Language Theorem Prover for Natural Language Inference Datei PDF