1 citations · 1 across the 5 of their papers we have counts for
5 papers
Tensor Probabilistic Model Checking of Finite-Horizon Markov Chains (Extended Version)
Jianlin Li, Nick Guo, Peter Ye +1
We reexamine the problem of verifying Markov chains with respect to step-bounded reachability probabilities. Prevailing approaches rely on encoding the state-transition matrix usin…
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…
On the proportion of irreducible polynomials in unicritically generated semigroups
Wade Hindes, Reiyah Jacobs, Benjamin Keller +3
Let be a prime number and let be a finite set of unicritical polynomials for some . Moreover, assume that contains…
Irreducible polynomials in quadratic semigroups
Wade Hindes, Reiyah Jacobs, Peter Ye
We construct many irreducible polynomials within semigroups generated by sets of the form under composition.
Generalizing Kirchhoff laws for Signed Graphs
Lucas J. Rusnak, Josephine Reynes, Skyler J. Johnson +1
Kirchhoff-type Laws for signed graphs are characterized by generalizing transpedances through the incidence-oriented structure of bidirected graphs. The classical -arborescence…