NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
BERT Is Not The Count: Learning to Match Mathematical Statements with Proofs
Weixian Li
|
Yftah Ziser
|
Maximin Coavoux
|
Shay B. Cohen
|
Paper Details:
Month: May
Year: 2023
Location: Dubrovnik, Croatia
Venue:
EACL |
Citations
URL
No Citations Yet
https://proofwiki.org/xmldump/latest
https://mir.fi.muni.cz/MREC/
https://arxiv.org/
https://www.w3.org/Math/
https://huggingface.co/docs/
https://github.com/gatagat/lap
https://tinyurl.com/
https://github.com/fred-wang/
https://arxiv.org/pdf/0810.0041.pdf
https://arxiv.org/pdf/0810.0041.pdf
https://arxiv.org/pdf/0803.3332.pdf
https://arxiv.org/pdf/0803.3332.pdf
Field Of Study