Pages that link to "Item:Q5495943"
From MaRDI portal
The following pages link to Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description (Q5495943):
Displaying 5 items.
- Aligning concepts across proof assistant libraries (Q1640642) (← links)
- Automating formalization by statistical and semantic parsing of mathematics (Q1687711) (← links)
- Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues (Q2364670) (← links)
- From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
- Learning to Parse on Aligned Corpora (Rough Diamond) (Q2945635) (← links)