Pages that link to "Item:Q2055841"
From MaRDI portal
The following pages link to Towards the automatic mathematician (Q2055841):
Displaying 10 items.
- A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving (Q1601834) (← links)
- Automating formalization by statistical and semantic parsing of mathematics (Q1687711) (← links)
- Deep learning for math knowledge processing (Q1798976) (← links)
- Mathematics by machine (Q3452371) (← links)
- (Q3640379) (← links)
- (Q3677198) (← links)
- (Q4545702) (← links)
- Deep Network Guided Proof Search (Q4645728) (← links)
- Advancing mathematics by guiding human intuition with AI (Q5038939) (← links)
- A formal proof of the expressiveness of deep learning (Q5919583) (← links)