Vampire's Question Answering Revis(it)ed Again

EasyChair Smart Slide

Home

Title:Vampire's Question Answering Revis(it)ed Again

Authors:Martin Suda

Conference:Vampire24

Tags:question answering, saturation-based proving and Vampire

Abstract:

This talk summarises the recent updates to Vampire's question answering capabilities.

Vampire's Question Answering Revis(it)ed Again

Vampire's Question Answering Revis(it)ed Again

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

1of45

1

2

3

4

Copyright © 2002 – 2025 EasyChair