Pages that link to "Item:Q5049022"
From MaRDI portal
The following pages link to ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description) (Q5049022):
Displaying 14 items.
- Fast and slow enigmas and parental guidance (Q831937) (← links)
- Vampire with a brain is a good ITP hammer (Q831938) (← links)
- Learning from Łukasiewicz and Meredith: investigations into proof structures (Q2055843) (← links)
- Neural precedence recommender (Q2055885) (← links)
- Improving ENIGMA-style clause selection while learning from history (Q2055886) (← links)
- Learning to solve geometric construction problems from images (Q2128821) (← links)
- Towards finding longer proofs (Q2142073) (← links)
- The role of entropy in guiding a connection prover (Q2142077) (← links)
- Learning theorem proving components (Q2142080) (← links)
- Bulldozer: A Cribless Rapid Analytical Machine (RAM) Solution to Enigma and its Variations (Q3183949) (← links)
- The 10th IJCAR automated theorem proving system competition – CASC-J10 (Q5019796) (← links)
- Fully reusing clause deduction algorithm based on standard contradiction separation rule (Q6492544) (← links)
- Invariant neural architecture for learning term synthesis in instantiation proving (Q6650564) (← links)
- Investigations into proof structures (Q6653096) (← links)