3 citations · 3 across the 9 of their papers we have counts for
10 papers
CleanScore: Black-Box Benchmark Audits with Negative Controls and Sensitivity Bounds
Jeffery Opoku, David Banahene
Public benchmark scores may reflect skill, prior exposure to the questions, or both, and for most models the training data are unknown. We present CleanScore, a black-box audit usi…
SynthGuard-ReleaseBench: Locked-Audit Evidence for Synthetic Tabular Data Releases
Jeffery Opoku, David Banahene
Synthetic tabular data are often judged by realism, privacy, or downstream-task scores. Those scores do not answer whether a proposed release is supported for a named use, populati…
Spectral Adaptive Conformal Prediction for Structured Non-Exchangeable Data
Jeffery Opoku, David Banahene
Conformal prediction gives prediction intervals with finite-sample coverage when the data are exchangeable. Many time-indexed datasets are not exchangeable: they have seasons, recu…
Drift-Aware Spectral Conformal Prediction for Non-Exchangeable Streaming Data
Jeffery Opoku, David Banahene
Conformal prediction provides distribution-free prediction intervals under exchangeability, but many modern data streams are neither independent nor stable. They exhibit recurring…
ToolChain-CRC: Conformal Risk Control for Agentic AI Under Retrieval and Tool-Use Drift
Jeffery Opoku, David Banahene
Modern AI agents retrieve documents, call tools, check intermediate information, and then produce a final answer or action. This creates a risk-control problem that is not visible…
PromptShift-CRC: Drift-Aware Conformal Risk Control for Foundation Models Under Prompt and Domain Shift
Jeffery Opoku, David Banahene
Foundation models are now used in settings where the prompts they receive can change quickly. Users change, topics change, policies change, and the model may suddenly face a kind o…
Enumeration of modular forms for
Timothy Huber, Jeffery Opoku, Dongxi Ye
This paper considers holomorphic modular forms for of integral weight of the form $$f^{(N)}_{\mathbf a}(τ) =q^{s} (q^{N};q^{N})_{\infty}^{a_0}\prod_{j=1}^{\lfloor N/2 \rfl…
Signed Evidence Flow: Conflict-Aware and Stability-Calibrated Data Analysis
Jeffery Opoku, David Banahene
Modern data analysis usually gives a prediction without showing whether the evidence behind it is clear, conflicting, or stable. Two cases can have the same fitted confidence even…
Ramanujan--Fine integrals for level 10
Shaun Cooper, Timothy Huber, Jeffery Opoku
We investigate the question of when an eta quotient is a derivative of a formal power series with integer coefficients and present an analysis in the case of level 10. As a consequ…
Ramanujan type congruences for quotients of Klein forms
Timothy Huber, Nathaniel Mayes, Jeffery Opoku +1
In this work, Ramanujan type congruences modulo powers of primes are derived for a general class of products that are modular forms of level . These products are const…