Papers
No Language Data Left Behind: A Cross-Cultural Study of CJK Language Datasets in the Hugging Face Ecosystem
Dasol Choi, Woomyoung Park, Youngsook Song
Synthetic Proofs with Tool-Integrated Reasoning: Contrastive Alignment for LLM Mathematics with Lean
Mark Obozov, Michael Diskin, Aleksandr Beznosikov et al.
An in-depth human study of the mathematical reasoning abilities in Large Language Models
Carolina Dias-Alexiou, Edison Marrese-Taylor, Yutaka Matsuo
UniMath-CoT: A Unified Framework for Multimodal Mathematical Reasoning with Re-Inference Affirmation
Zhixiang Lu, Mian Zhou, Angelos Stefanidis et al.
Modeling Tactics as Operators: Effect-Grounded Representations for Lean Theorem Proving
Elisaveta Samoylov, Soroush Vosoughi
Logically Constrained Decoding
Franklin Ma, Alan J. Hu
BanglaMATH : A Bangla benchmark dataset for testing LLM mathematical reasoning at grades 6, 7, and 8
Tabia Tanzin Prama, Christopher M. Danforth, Peter Dodds
Into The Limits of Logic: Alignment Methods for Formal Logical Reasoning
Francisco F. López-Ponce, Gemma Bel-Enguix
RoMath: A Mathematical Reasoning Benchmark in Romanian
Adrian Cosma, Ana-Maria Bucur, Emilian Radoi
Scalability of LLM-Based Multi-Agent Systems for Scientific Code Generation: A Preliminary Study
Yuru Wang, Kaiyan Zhang, Kai Tian et al.
BloomWise: Enhancing Problem-Solving capabilities of Large Language Models using Bloom’s-Taxonomy-Inspired Prompts
Maria-Eleni Zoumpoulidi, Georgios Paraskevopoulos, Alexandros Potamianos
Step-KTO: Optimizing Mathematical Reasoning through Stepwise Binary Feedback
Yen-Ting Lin, Di Jin, Tengyu Xu et al.
Syntactic Blind Spots: How Misalignment Leads to LLMs’ Mathematical Errors
Dane A Williamson, Yangfeng Ji, Matthew B. Dwyer
Dialogue Acts as a Lens on Human–LLM Interaction: Analyzing Conversational Norms in Model-Generated Responses
Arunima Maitra, Dorothea French, Katharina von der Wense
MEETING DELEGATE: Benchmarking LLMs on Attending Meetings on Our Behalf
Lingxiang Hu, Shurun Yuan, Xiaoting Qin et al.
Toward Human-Centered Readability Evaluation
Bahar İlgen, Georges Hattab
A Survey of LLM-Based Applications in Programming Education: Balancing Automation and Human Oversight
Griffin Pitts, Anurata Prabha Hridi, Arun Balajiee Lekshmi Narayanan
From Noise to Nuance: Enriching Subjective Data Annotation through Qualitative Analysis
Ruyuan Wan, Haonan Wang, Ting-Hao Kenneth Huang et al.
From Regulation to Interaction: Expert Views on Aligning Explainable AI with the EU AI Act
Mahdi Dhaini, Lukas Ondrus, Gjergji Kasneci
Culturally-Aware Conversations: A Framework & Benchmark for LLMs
Shreya Havaldar, Young Min Cho, Sunny Rai et al.
Cognitive Feedback: Decoding Human Feedback from Cognitive Signals
Yuto Harada, Yohei Oseki