UNDERLINE DOI: https://doi.org/10.48448/hrg7-gp30

poster

EACL 2023

May 02, 2023

Croatia

BERT Is Not The Count: Learning to Match Mathematical Statements with Proofs

Please log in to leave a comment

Downloads

SlidesPaperTranscript English (automatic)

Next from EACL 2023

A Survey of Text Games for Reinforcement Learning Informed by Natural Language
poster

A Survey of Text Games for Reinforcement Learning Informed by Natural Language

EACL 2023

Philip Osborne

02 May 2023

Stay up to date with the latest Underline news!

Select topic of interest (you can select more than one)

PRESENTATIONS

  • All Presentations
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2025 Underline - All rights reserved