3 citations · 3 across the 4 of their papers we have counts for
4 papers
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…
The Newtonian kernel at the intersection of two discs
Andrés Miniguano-Trujillo
We present an exact, closed-form expression for the Newtonian potential of the characteristic function associated with two overlapping discs in the plane. This setting naturally ar…
Optimizing Connected Components Graph Partitioning With Minimum Size Constraints Using Integer Programming and Spectral Clustering Techniques
Mishelle Cordero, Andrés Miniguano-Trujillo, Diego Recalde +2
In this work, a graph partitioning problem in a fixed number of connected components is considered. Given an undirected graph with costs on the edges, the problem consists of parti…
The Integrated Vehicle and Pollster Routing Problem
Sandra Gutiérrez, Andrés Miniguano-Trujillo, Diego Recalde +2
The National Statistics Bureau of Ecuador conducts monthly price surveys to monitor the evolution of the Consumer Price Index, a metric that measures the consumer prices of essenti…