We have 8 of 192 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
We introduce Sequent-Prover, a family of verifier-using language-model agents, and the post-training framework that produces them. Agents reason in an executable SMT-LIB scratchpad: they write complete SMT-LIB programs, query Z3 across turns, inspect solver feedback, repair formalizations, and terminate with an explici...
Applied to six watermarking schemes, three open-weight generators, eleven languages spanning four scripts and eight typological families, and both base and instruction-tuned regimes, the framework reveals failure modes that single-language single-paradigm evaluation cannot surface.
These findings show that safe-looking behavior alone is insufficient; live scam resistance must separately measure intervention, timing, structural localization, and false-positive behavior.
The Digital Agriculture Sandbox is presented, a secure online platform that enables farmers (with limited technical resources) and researchers to collaborate on analyzing farm data without exposing private information and helps bridge the gap between maintaining farm data privacy and utilizing that data to address crit...
The Infinite Impostor is introduced, an attack model in which an autonomous agent interposes itself between two parties who already trust each other, hijacking an existing relationship rather than building a new one from scratch, and the governance tensions that arise when platforms become the regulatory substrate of d...
It is argued that explanation privacy should be evaluated as an end-to-end disclosure problem, with defenses matched to the acquisition path and protected asset, with defenses matched to the acquisition path and protected asset.
A cost-effective label-only MIA framework based on transferability and model extraction, which removes the restriction that defines the label-only setting, and characterize how leakage transfer depends on surrogate fidelity.
It is argued that neither the objections nor the assurances can currently be verified and that this unverifiability, rather than watermarking itself, is the substantive governance failure.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
