Introduction to Mathematical Language Processing: Informal Proofs, Word Problems, and Supporting Tasks
| Type of publication: | Journal paper |
| Citation: | Meadows_TACL_2023 |
| Publication status: | Accepted |
| Journal: | Transactions of the ACL |
| Year: | 2023 |
| Keywords: | |
| Projects |
Idiap |
| Authors | |
| Added by: | [UNK] |
| Total mark: | 0 |
|
Attachments
|
|
|
Notes
|
|
|
|
|