Báo cáo khoa học: "Analysis of Mixed Natural and Symbolic Language Input in Mathematical Dialogs"

Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded (semi-)formal symbolic mathematical expressions. We present language phenomena observed in a corpus of dialogs with a simulated tutorial system for proving theorems as evidence for the need for deep syntactic and semantic analysis. We propose an approach to input understanding in this setting.

Quỳnh Liên 41 8 pdf

Upload

Không thể tạo bản xem trước, hãy bấm tải xuống

Tải xuống

TÀI LIỆU LIÊN QUAN

Spectrometry analysis of fumes of mixed nuclear fuel (U0.8Pu0.2)O2e samples heated up to 2,000с and evaluation of accidental irradiation of living organisms by plutonium as the most radiotoxic fission product of mixed nuclear fuel

11 42 0

NBZIMM: Negative binomial and zero‑infated mixed models, with application to microbiome/metagenomics data analysis

19 51 0

Báo cáo khoa học: "Historical Analysis of Legal Opinions with a Sparse Mixed-Effects Latent Variable Model"

10 34 0

Báo cáo khoa học: "Analysis of Mixed Natural and Symbolic Language Input in Mathematical Dialogs"

8 30 0

Simultaneous improvement of surface quality and productivity using grey relational analysis based Taguchi design for turning couple (AISI D3 steel/ mixed ceramic tool (Al2O3 + TiC))

22 61 0

Power analysis for RNA-Seq differential expression studies using generalized linear mixed effects models

12 157 0

Consumption habits of school canteen and non-canteen users among Norwegian young adolescents: A mixed method analysis

12 90 0

Adaptive variable extractions with lda for classification of mixed variables, and applications to medical data

23 243 2

Numerical analysis of mixed mode I/II stress intensity factors of edge slant cracked plates

10 55 0

Estimating cumulative pathway effects on risk for age-related macular degeneration using mixed linear models

9 57 0

TÀI LIỆU XEM NHIỀU

Thiết kế kế hoạch bài học môn Toán theo định hướng phát triển năng lực học sinh

13 40683 2394

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”

3 24802 248

31 Câu hỏi ôn tập môn Chủ nghĩa xã hội khoa học

25 24270 4267

Tiểu luận: Vai trò của Nguyễn Ái Quốc đối với việc thành lập Đảng Cộng sản Việt Nam

16 19886 2838

Tiểu luận Tình huống xử lý sai phạm trong thanh toán công tác phí lưu động

20 19382 1542

Bảng biến đổi Laplace và biến đổi Z

1 19130 612

100 câu hỏi trắc nghiệm Triết học Mác-Lênin kèm đáp án

14 19106 2965

Ebook Ôn luyện tiếng Anh 9 có đáp án: Phần 2 - Mai Lan Hương, Hà Thanh Uyên

37 16021 2956

Đề thi và Đáp án môn Tiếng Việt thực hành - ĐH SPKT TP.HCM

3 15743 326

Sự so sánh văn bản văn học và tác phẩm văn học

1 14457 131

TỪ KHÓA LIÊN QUAN

TÀI LIỆU MỚI ĐĂNG

Bài giảng môn Tin học lớp 6 - Bài 2: Xử lí thông tin

18 297 3 27-04-2024

Digital health interventions for healthy ageing: A qualitative user evaluation and ethical assessment

10 68 1 27-04-2024

Lecture Professional cooking (6/e) - Chapter 31: Quick breads

9 78 2 27-04-2024

Tự học tiếng Anh dùng trong các loại dịch vụ ăn uống: Phần 2

156 79 2 27-04-2024

Báo cáo thực tập tốt nghiệp Công nghệ thông tin: Tìm hiểu framework spring cho backend, reactjs cho frontend và xây dựng website bán giày minh họa

70 356 47 27-04-2024

Giải pháp tổ chức dữ liệu hạ tầng giao thông kết hợp bản đồ số 3D ứng dụng trong chuyển đổi số ngành giao thông vận tải tại thành phố Đà Nẵng

5 182 1 27-04-2024

Evaluation of Lonicera caerulea L. genotypes based on morphological characteristics of fruits germplasm collection

13 64 1 27-04-2024

Báo cáo tốt nghiệp: Kế toán phải trả người lao động tại Công ty TNHH TM&DV Hàng Hóa Phương Nam

93 102 1 27-04-2024

Bài giảng Hình học lớp 6 - Tiết 3: Đường thẳng đi qua hai điểm

10 61 2 27-04-2024

Case report of enterobacter hormaechei in sheep with respiratory disease and death

8 87 2 27-04-2024

Doanh nghiệp tham gia vào quá trình đào tạo nguồn nhân lực tại các cơ sở đào tạo: Những thuận lợi và khó khăn

8 71 1 27-04-2024

Đánh giá ô nhiễm kim loại nặng trong không khí của Hà Nội sử dụng chỉ thị sinh học rêu bằng phương pháp phân tích PIXE

9 339 5 27-04-2024

Chính sách thúc đẩy doanh nghiệp dệt may Việt Nam đổi mới sáng tạo marketing và tổ chức

17 80 2 27-04-2024

Luận văn Thạc sĩ Kỹ thuật điện: Thử nghiệm trạm biến áp cách điện khí SF6

82 159 1 27-04-2024

Bài giảng Nguyên lý thống kê - Chương 4: Thống kê mức độ của hiện tượng kinh tế - xã hội

44 331 1 27-04-2024

Đề thi học kì 2 môn Sinh học lớp 9 năm 2020-2021 có đáp án - Trường THCS Quang Trung

7 69 1 27-04-2024

Effects of propofol versus thiopental on Apgar scores in newborns and peri-operative outcomes of women undergoing emergency cesarean section: A randomized clinical trial

6 57 1 27-04-2024

Luận văn Thạc sĩ Luật học: Tổ chức và hoạt động của Công an xã, thị trấn - Qua thực tiễn tỉnh Thanh Hóa

117 125 1 27-04-2024

Giáo trình Luật thương mại quốc tế (Phần I - Luật Tổ chức thương mại thế giới): Phần 2

125 278 22 27-04-2024

Báo cáo tốt nghiệp: Kế toán nguyên vật liệu tại công ty TNHH Kỹ Nghệ Gỗ Lâm Nguyên

201 73 2 27-04-2024

TÀI LIỆU HOT

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”

3 24802 248

Thiết kế kế hoạch bài học môn Toán theo định hướng phát triển năng lực học sinh

13 40683 2394

CẬP NHẬT KINH TẾ VĨ MÔ VIỆT NAM 6 tháng đầu năm 2020

3 2722 81

Sách trắng Doanh nghiệp Việt Nam năm 2020

580 4993 363

Việt Nam 2035 hướng tới thịnh vượng, sáng tạo, công bằng và dân chủ

584 3291 100

BÀI GIẢNG DỰNG HÌNH SKETCHUP 2020 BIÊN SOẠN : GV.KTS PHAN THỨC

62 6582 1

GIÁO TRÌNH TIẾNG ANH ENG BREAKING

171 5637 718

Quản trị khủng hoảng trong quan hệ công chúng

2 3072 78

Báo cáo thực tập chuyên ngành: Nghiên cứu, thiết kế, mô phỏng robot công nghiệp

51 4392 200

Đề tài “ Cân đối ngân sách nhà nước- thực trạng và hướng hoàn thiện”

53 4689 187