The following pages link to Metis_ (Q16615):
Displaying 6 items.
- Hipster: Integrating Theory Exploration in a Proof Assistant (Q5495917) (← links)
- Mining State-Based Models from Proof Corpora (Q5495930) (← links)
- Fast LCF-Style Proof Reconstruction for Z3 (Q5747649) (← links)
- Premise Selection in the Naproche System (Q5747782) (← links)
- Scalable fine-grained proofs for formula processing (Q5919479) (← links)
- A formal proof of the expressiveness of deep learning (Q5919583) (← links)