lazyCoP

swMATH44214MaRDI QIDQ1349733FDOQ1349733

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-030-86059-2_11

Source code repository: https://github.com/MichaelRawson/lazycop

Described by source

• \textsf{lazyCoP}: lazy paramodulation meets neurally guided search

Cited In (4)

• The 10th IJCAR automated theorem proving system competition -- CASC-J10
• Towards finding longer proofs
• MurmurHash
• ast2vec

This page was built for software: lazyCoP