1 citations · 1 across the 5 of their papers we have counts for
4 papers · 1 filter
Conjecturing: An Overlooked Step in Formal Mathematical Reasoning
Jasivan Alex Sivakumar, Philipp Borchert, Ronald Cardenas +1
Autoformalisation, the task of expressing informal mathematical statements in formal language, is often viewed as a direct translation process. This, however, disregards a critical…
How to Leverage Digit Embeddings to Represent Numbers?
Jasivan Alex Sivakumar, Nafise Sadat Moosavi
Within numerical reasoning, understanding numbers themselves is still a challenge for existing language models. Simple generalisations, such as solving 100+200 instead of 1+2, can…
Decoding News Narratives: A Critical Analysis of Large Language Models in Framing Detection
Valeria Pastorino, Jasivan A. Sivakumar, Nafise Sadat Moosavi
The growing complexity and diversity of news coverage have made framing analysis a crucial yet challenging task in computational social science. Traditional approaches, including m…
FERMAT: An Alternative to Accuracy for Numerical Reasoning
Jasivan Alex Sivakumar, Nafise Sadat Moosavi
While pre-trained language models achieve impressive performance on various NLP benchmarks, they still struggle with tasks that require numerical reasoning. Recent advances in impr…