activity
20232026
most citedLearn to Rank Risky Investors: A Case Study of Predicting Retail Traders' Behaviour and Profitability

3 citations · 8 across the 8 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 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…