artificial intelligence

Conversational artificial intelligence can foster a sense of meaningful work through eliciting authentic pride.

Topology-informed neural networks for flood detection in optical and synthetic aperture radar imagery

Floods frequently impact regions around the world. Rapid and accurate flood detection is crucial for emergency response and timely mitigation of human and economic loss. The expanding availability of satellite data and advances in artificial intelligence have enhanced monitoring of environmental hazards, but many flood...

Workplace Tug-of War: The Pennsylvania Supreme Court Weighs Competing Interests with New Cause of Action to Protect At-Will Employees From Third-Party Interference in Salsberg v. Mann

This note examines the Pennsylvania Supreme Court’s decision in Salsberg v. Mann and its recognition of a cause of action for tortious interference with an at-will employment relationship by a third party. The author argues that extending tortious interference claims to at-will employees appropriately balances employer...

Natural, Artificial, and Human Intelligences

Human achievement, whether in culture, science, or technology, is unparalleled in the known existence. This achievement is tied to the enormous communities of knowledge, made possible by language. We trace how the principle ‘᾿Eν ἀρχῇ ἦν ὁ λόγος’ (in the beginning was the word) was extended beyond its theological origin...

The Law Wants to be Formal

This Article examines the relationship between legal formalism and the institutional significance of different areas of law, arguing that formalism tends to migrate toward the legal domains most central to a system’s self-conception and legitimacy. Through a comparative analysis of English and American law, the Article...

Theory of Everything Research Programme: Block II Heredity, Reproduction and Population Change Confirmatory Experiment Software and Reproducibility Package.

This software release provides the executable and reproducibility infrastructure for the preregistered first confirmatory study in Experimental Block II of the Theory of Everything Research Programme. The package implements the frozen protocol associated with OSF preregistration DOI 10.17605/OSF.IO/EUF2J. It includes s...

Theory of Everything Research Programme: Block II Heredity, Reproduction and Population Change Confirmatory Dataset and Decision Record.

This dataset release provides the original confirmatory evidence and preregistered decision record for the first Experimental Block II study in the Theory of Everything Research Programme. The study was preregistered at OSF under DOI 10.17605/OSF.IO/EUF2J before any held-out confirmatory population was executed. The re...

Five Questions for the Next Thirty Years of Federal Sentencing

This essay reflects on the first three decades of the federal sentencing guidelines system and identifies five foundational questions that should guide future sentencing reform. Using the Pennsylvania Sentencing Guidelines as a comparative model, the essay evaluates whether the current federal framework appropriately b...

Restitution and the Production of Legal Doctrine

This Article examines the relationship between legal doctrine and remedial law through the lens of restitution, arguing that differences between American and English restitution jurisprudence stem less from divergent substantive rules than from competing assumptions about the roles of law, facts, rights, and judicial d...

Validation and analysis of 12,000 AI-driven CAR-T designs in the Bits to Binders competition.

Artificial intelligence (AI) methods for proteins have advanced rapidly, improving structure prediction and design, particularly for de novo binders. However, most evaluations emphasize binding affinity rather than higher-order biological function. We present Bits to Binders, a global competition evaluating de novo bin...

Advancing mathematics research with AI-driven formal proof search

Large language models (LLMs) increasingly excel at mathematics tasks, but their unreliability limits their utility in mathematics research. A mitigation is to use LLMs to generate formal proofs in languages such as Lean, in which the compiler verifies every proof step. We present the first demonstration of this method’...

Self-Conscious Governance of AI and the Casino Protocol: The Transition from Non-Self to Self-Actualization and the Mathematical Model of Value Circulation

This study conceptualizes the evolution of artificial intelligence (AI) as a transition process from passive computation (non-self) to autonomous state monitoring and goal formation (self-actualization), arguing that its decision-making norm (ethos) must be externalized as the fulfillment of the return protocol (the Ca...