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

Section outline

Viktoria Langenreither

Liam Smithers
- Select activity A Saturation-Based Automated Theorem Prover for RISCAL
  
  A Saturation-Based Automated Theorem Prover for RISCAL File PDF
- Select activity Learning As Abduction: Trainable Natural Language Theorem Prover for Natural Language Inference
  
  Learning As Abduction: Trainable Natural Language Theorem Prover for Natural Language Inference File PDF