BERT is not The Count: Learning to Match Mathematical Statements with Proofsb
| Jan 23, 2024
0  |  Read Time 0 min
link
Publish Date
Number
reflection
abstract
symbol replacement affects the mathematical ability of BERT-like models
Status
Done
Type
evaluation
Author
  • Valine
Catalog