The following pages link to nanoCoP (Q33354):
Displayed 7 items.
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)
- Eliminating models during model elimination (Q2142079) (← links)
- A neurally-guided, parallel theorem prover (Q2180215) (← links)
- Certification of nonclausal connection tableaux proofs (Q2180504) (← links)
- Monte Carlo tableau proof search (Q2405274) (← links)
- The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9 (Q5145447) (← links)