19 citations · 53 across the 16 of their papers we have counts for
17 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…
Solving the membership problem for certain subgroups of
Sandie Han, Ariane M. Masuda, Satyanand Singh +1
For positive integers and , let and . Let be the group generated by $…
Rédei permutations with the same cycle structure
Juliane Capaverde, Ariane M. Masuda, Virgínia M. Rodrigues
Let be the finite field of order , and . Write as . For $m\in\mathb…
Permutation binomials of the form over
Ariane M. Masuda, Ivelisse Rubio, Javier Santiago
We present several existence and nonexistence results for permutation binomials of the form , where and . As a consequence, we ob…
Rédei permutations with cycles of the same length
Juliane Capaverde, Ariane M. Masuda, Virgínia M. Rodrigues
Let be a finite field of odd characteristic. We study Rédei functions that induce permutations over whose cycle decomposition contains o…
Subgroups of characterized by certain continued fraction representations
Sandie Han, Ariane M. Masuda, Satyanand Singh +1
For positive integers and , let and . Let be the monoid genera…