Sivakumar, Jasivan Alex
- Conjecturing: An Overlooked Step in Formal Mathematical Reasoning
2025/10/13 by Jasivan Alex Sivakumar, J. Sivakumar, Philipp Borchert +7 · 1 voice
Computer Science · #cs.CL #cs.AI
- FERMAT: An Alternative to Accuracy for Numerical Reasoning
2023/05/27 by J. Sivakumar, Sivakumar, Jasivan Alex, Nafise Sadat Moosavi +1 · 2 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #Topic Modeling
- How to Leverage Digit Embeddings to Represent Numbers?
2024/07/01 by Sivakumar, Jasivan Alex, Moosavi, Nafise Sadat · 1 citation
#Computation and Language (cs.CL) #FOS: Computer and information sciences