Showing cs.CLShow all
3 papers · 1 filter
cs.CL2025
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…
cs.CL2024
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…
cs.CL2024
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…