3 papers
cs.LG2026
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs
Santiago Gonzalez, Alireza Amiri Bavandpour, Peter Ye +48
As Large Language Models (LLMs) saturate elementary benchmarks, the research frontier has shifted from generation to the reliability of automated evaluation. We demonstrate that st…
math.CV2025
On the inclusion properties for harmonic error functions
Åahsene Altınkaya, Sibel Yalçın
For the error functions of the form \begin{equation*} E_{r}\mathfrak{f}(z)=\frac{\sqrt{Ïz}}{2}er\ \mathfrak{f}(\sqrt{z})=z+Σ_{n=2}^{\infty} \frac{(-1)^{n-1}}{(2n-1)(n-1)!}z^{n},…
math.CV2025
Introducing a Novel Subclass of Harmonic Functions with Close-to-Convex Properties
Serkan Ãakmak, Sibel Yalçin
In this paper, we introduce a new subclass of close-to-convex harmonic functions. We present a sufficient coefficient condition for a function to be a member of this class. Further…