Showing cs.CLShow all
3 papers · 1 filter
cs.CL2023
BERT is not The Count: Learning to Match Mathematical Statements with Proofs
Weixian Waylon Li, Yftah Ziser, Maximin Coavoux +1
We introduce a task consisting in matching a proof to a given mathematical statement. The task fits well within current research on Mathematical Information Retrieval and, more gen…
cs.CL2023
Erasure of Unaligned Attributes from Neural Representations
Shun Shao, Yftah Ziser, Shay Cohen
We present the Assignment-Maximization Spectral Attribute removaL (AMSAL) algorithm, which erases information from neural representations when the information to be erased is impli…
cs.CL2022
Domain Adaptation from Scratch
Eyal Ben-David, Yftah Ziser, Roi Reichart
Natural language processing (NLP) algorithms are rapidly improving but often struggle when applied to out-of-distribution examples. A prominent approach to mitigate the domain gap…