Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2102.02110
Cited By
Learning to Match Mathematical Statements with Proofs
3 February 2021
Maximin Coavoux
Shay B. Cohen
AIMat
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Learning to Match Mathematical Statements with Proofs"
2 / 2 papers shown
BERT is not The Count: Learning to Match Mathematical Statements with Proofs
Conference of the European Chapter of the Association for Computational Linguistics (EACL), 2023
Weixian Waylon Li
Yftah Ziser
Maximin Coavoux
Shay B. Cohen
AIMat
174
9
0
18 Feb 2023
A Survey in Mathematical Language Processing
Jordan Meadows
André Freitas
AIMat
283
18
0
30 May 2022
1
Page 1 of 1
