🏛️ The Artificial Intelligence Crypt

cs.AI: Where Artificial Intelligence papers rest without their code.

17635 Total Papers
10620 No Code
277 Twilight
6738 Has Code
38.2% Survival Rate
R.I.P. 👻 Ghosted

The Higher-Order Prover Leo-III (Extended Version)

Alexander Steen, Christoph Benzmüller

cs.AI 🏛 9th International Joint Conference on Automated Reasoning, IJCAR 2018, Oxford, UK, July 14-17, 2018, Proceedings, Springer 📚 0 cites 8 years ago