NLPExplorer

MathNLP - 2025

Total Papers:- 16

Total Papers accross all years:- 22

Total Citations :- 0

1 2 »

UniMath-CoT: A Unified Framework for Multimodal Mathematical Reasoning with Re-Inference Affirmation

Zhixiang Lu | Mian Zhou | Angelos Stefanidis | Jionglong Su |

CHECK-MAT: Probing the Mathematical Reasoning and Rubric-Alignment of Vision-Language Models on Handwritten Solutions

Ruslan Khrulev |

RoMath: A Mathematical Reasoning Benchmark in Romanian

Adrian Cosma | Ana-Maria Bucur | Emilian Radoi |

Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025)

Modeling Tactics as Operators: Effect-Grounded Representations for Lean Theorem Proving

Elisaveta Samoylov | Soroush Vosoughi |

Into The Limits of Logic: Alignment Methods for Formal Logical Reasoning

Francisco F. López-Ponce | Gemma Bel-Enguix |

BloomWise: Enhancing Problem-Solving capabilities of Large Language Models using Bloom’s-Taxonomy-Inspired Prompts

Maria-Eleni Zoumpoulidi | Georgios Paraskevopoulos | Alexandros Potamianos |

Logically Constrained Decoding

Franklin Ma | Alan J. Hu |

Synthetic Proofs with Tool-Integrated Reasoning: Contrastive Alignment for LLM Mathematics with Lean

BanglaMATH : A Bangla benchmark dataset for testing LLM mathematical reasoning at grades 6, 7, and 8

Tabia Tanzin Prama | Christopher M. Danforth | Peter Dodds |

Scalability of LLM-Based Multi-Agent Systems for Scientific Code Generation: A Preliminary Study

An in-depth human study of the mathematical reasoning abilities in Large Language Models

Carolina Dias-Alexiou | Edison Marrese-Taylor | Yutaka Matsuo |

Formula-Text Cross-Retrieval: A Benchmarking Study of Dense Embedding Methods for Mathematical Information Retrieval

Zichao Li |

Syntactic Blind Spots: How Misalignment Leads to LLMs’ Mathematical Errors

Dane A Williamson | Yangfeng Ji | Matthew B. Dwyer |

Step-KTO: Optimizing Mathematical Reasoning through Stepwise Binary Feedback