lazyCoP

MaRDI QIDQ1349733swMATHFDO

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