Three New arXiv Papers Advance AI Reasoning in Tabular Data, Video Analysis, and Mathematical Formalization

Recent arXiv preprints introduce models for tabular reasoning with reinforcement learning, few-shot video action detection, and math autoformalization.

Three New arXiv Papers Advance AI Reasoning Capabilities

Three recent preprints on arXiv showcase advances in AI reasoning across different domains:

TableGPT-R1 focuses on tabular data analysis, which according to the abstract “serves as the backbone of modern data analysis and scientific research.” The paper introduces an approach that advances tabular reasoning through reinforcement learning, building on previous Large Language Models (LLMs) that were fine-tuned via Supervised Fine-Tuning (SFT) for natural language interaction with structured data (arXiv:2512.20312v2).

Chain-of-Evidence Multimodal Reasoning addresses few-shot temporal action localization (TAL) in videos. According to the abstract, “traditional temporal action localization (TAL) methods rely on large amounts of detailed annotated data,” while few-shot TAL “reduces this dependence by using only a few training samples to identify unseen action categories” (arXiv:2504.13460v5).

StepFun-Formalizer tackles autoformalization, which the paper describes as aiming “to translate natural-language mathematical statements into a formal language.” The abstract notes that “while LLMs have accelerated progress in this area, existing methods still suffer from low accuracy,” and the work identifies key abilities needed for effective autoformalization through knowledge-reasoning fusion (arXiv:2508.04440v3).

All three papers represent updated versions of previously published preprints.