Pages that link to "Item:Q2219416"
From MaRDI portal
The following pages link to First neural conjecturing datasets and experiments (Q2219416):
Displaying 6 items.
- Studies in neural data science. StartUp research 2017, Siena, Italy, June 25--27, 2017 (Q1626841) (← links)
- Towards finding longer proofs (Q2142073) (← links)
- Alien coding (Q6066843) (← links)
- Lemmas: generation, selection, application (Q6541149) (← links)
- Conjectures, tests and proofs: an overview of theory exploration (Q6646290) (← links)
- Invariant neural architecture for learning term synthesis in instantiation proving (Q6650564) (← links)