Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations
, 2023 Jong-Wook Kim, Sunbeom So, Hakjoo Oh
openalex +2 more sources
(Co‐)Reference All the Way Down: A Unified Theory of (Pro) Nominals in Ordinary English
Theoria, EarlyView.ABSTRACT This essay joins two themes, both arising from Kripke's inspiring ideas in the theory of reference. The first theme concerns reference in general. The second examines the notion of co‐reference and the role it plays in a unified theory of pronouns for natural language.
Jessica Pepp, Joseph Almog
wiley +1 more source
Analysis of DSTU 8961:2019 in the quantum random oracle model
, 2023 Serhii Kandii, І.Д. Горбенко
openalex +2 more sources
Language machines: Toward a linguistic anthropology of large language models
Journal of Linguistic Anthropology, Volume 36, Issue 1, May 2026.Abstract Large language models (LLMs) challenge long‐standing assumptions in linguistics and linguistic anthropology by generating human‐like language without relying on rule‐based structures. This introduction to the special issue Language Machines calls for renewed engagement with LLMs as socially embedded language technologies.
Siri Lamoureaux +2 more
wiley +1 more source
Efficient Selective Identity-Based Encryption Without Random Oracles [PDF]
, 2010 Dan Boneh, Xavier Boyen
openalex +1 more source
Polynomial-Time Random Oracles and Separating Complexity Classes [PDF]
, 2021 John M. Hitchcock +2 more
openalex +1 more source
Faster Convex Optimization: Simulated Annealing with an Efficient Universal Barrier
, 2015 This paper explores a surprising equivalence between two seemingly-distinct convex optimization methods. We show that simulated annealing, a well-studied random walk algorithms, is directly equivalent, in a certain sense, to the central path interior ...
Abernethy, Jacob, Hazan, Elad
core
Calcium Hydroxylapatite Injection Improves Senile Purpura via YAP‐Mediated Mechanotransduction
International Journal of Dermatology, EarlyView.
Jimyung Seo +5 more
wiley +1 more source
Human tests for machine models: What lies “Beyond the Imitation Game”?
Journal of Linguistic Anthropology, Volume 36, Issue 1, May 2026.Abstract Benchmarking large language models (LLMs) is a key practice for evaluating their capabilities and risks. This paper considers the development of “BIG Bench,” a crowdsourced benchmark designed to test LLMs “Beyond the Imitation Game.” Drawing on linguistic anthropological and ethnographic analysis of the project's GitHub repository, we examine ...
Noya Kohavi, Anna Weichselbraun
wiley +1 more source
Certificateless signature scheme without bilinear pairings
Tongxin xuebao, 2012 To solve the key escrow problem inherited in ID-based cryptography and the complex certificate management problem of traditional certification-based public key cryptosystem,Al-Riyami and Paterson proposed the novel concept of certificateless public key ...
Sheng-bao WANG, Wen-hao LIU, Qi XIE
doaj