Learning to Parse on Aligned Corpora (Rough Diamond) (Q2945635): Difference between revisions

@@ Property / cites work @@
+Hammering towards QED
@@ Property / cites work: Hammering towards QED / rank @@
+Normal rank
@@ Property / cites work @@
+Q2892718
@@ Property / cites work: Q2892718 / rank @@
+Normal rank
@@ Property / cites work @@
+HOL(y)Hammer: online ATP service for HOL Light
@@ Property / cites work: HOL(y)Hammer: online ATP service for HOL Light / rank @@
+Normal rank
@@ Property / cites work @@
+Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description
+Normal rank
@@ Property / cites work @@
+Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics
+Normal rank
@@ Property / cites work @@
+Formal Mathematics on Display: A Wiki for Flyspeck
+Normal rank
@@ Property / cites work @@
+Recognition and parsing of context-free languages in time n3
+Normal rank
@@ Property / cites work @@
+Q5462451
@@ Property / cites work: Q5462451 / rank @@
+Normal rank