All Articles

Browse the full archive, newest first.

Evaluating Artificial Intelligence Through a Christian Understanding of Human Flourishing

Strategic angle: arXiv:2604.03356v1 Announce Type: new Abstract: Artificial intelligence (AI) alignment is fundamentally a formation problem, not only a safety problem. As Large Language Models (LLMs) increasingly mediate moral deliberat

Editorial Staff Apr 7

Tech

Hume's Representational Conditions for Causal Judgment: What Bayesian Formalization Abstracted Away

Strategic angle: arXiv:2604.03387v1 Announce Type: new Abstract: Hume's account of causal judgment presupposes three representational conditions: experiential grounding (ideas must trace to impressions), structured retrieval (association

Editorial Staff Apr 7

Tech

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking

Strategic angle: arXiv:2604.03232v1 Announce Type: new Abstract: IC3, also known as property-directed reachability (PDR), is a commonly-used algorithm for hardware safety model checking. It checks if a state transition system complies wi

Editorial Staff Apr 7

Tech

Position: Science of AI Evaluation Requires Item-level Benchmark Data

Strategic angle: arXiv:2604.03244v1 Announce Type: new Abstract: AI evaluations have become the primary evidence for deploying generative AI systems across high-stakes domains. However, current evaluation paradigms often exhibit systemic

Editorial Staff Apr 7

Tech

Structural Segmentation of the Minimum Set Cover Problem: Exploiting Universe Decomposability for Metaheuristic Optimization

Strategic angle: arXiv:2604.03234v1 Announce Type: new Abstract: The Minimum Set Cover Problem (MSCP) is a classical NP-hard combinatorial optimization problem with numerous applications in science and engineering. Although a wide range

Editorial Staff Apr 7

Tech

TABQAWORLD: Optimizing Multimodal Reasoning for Multi-Turn Table Question Answering

Strategic angle: arXiv:2604.03393v1 Announce Type: new Abstract: Multimodal reasoning has emerged as a powerful framework for enhancing reasoning capabilities of reasoning models. While multi-turn table reasoning methods have improved re

Editorial Staff Apr 7

Tech

To Throw a Stone with Six Birds: On Agents and Agenthood

Strategic angle: arXiv:2604.03239v1 Announce Type: new Abstract: Six Birds Theory (SBT) treats macroscopic objects as induced closures rather than primitives. Empirical discussions of agency often conflate persistence (being an object) w

Editorial Staff Apr 7

Tech

Toward Full Autonomous Laboratory Instrumentation Control with Large Language Models

Strategic angle: arXiv:2604.03286v1 Announce Type: new Abstract: The control of complex laboratory instrumentation often requires significant programming expertise, creating a barrier for researchers lacking computational skills. This wo

Editorial Staff Apr 7

Tech

VERT: Reliable LLM Judges for Radiology Report Evaluation

Strategic angle: arXiv:2604.03376v1 Announce Type: new Abstract: Current literature on radiology report evaluation has focused primarily on designing LLM-based metrics and fine-tuning small models for chest X-rays. However, it remains un

Editorial Staff Apr 7

Life

Scientists found a “lost world” of animals that shouldn’t exist yet

Strategic angle: A remarkable fossil discovery in southwest China is rewriting the story of how complex animal life began, showing that many key animal groups appeared millions of years earlier than scientists once believed. Dating back

Editorial Staff Apr 7