large language models

fesom_kokkos: a C++/Kokkos port of the FESOM2 ocean and sea-ice model for CPUs and GPUs

A performance-portable C++/Kokkos port of the ocean and sea-ice core of FESOM2: one source tree for CPUs (Kokkos Serial, OpenMP) and GPUs (CUDA, HIP). The Serial build reproduces the C port byte for byte. Code of the paper An Ocean Model Ported by a Large Language Model: Experience and Lessons from FESOM2 (Fortran to C...

DESIGNING AN IMMORTAL CIVILIZATION When Death No Longer Updates the World Memory, Identity, Renewal, Succession, Love, Birth, Scarcity, Meaning, and the Architecture of Life Beyond Death

DESIGNING AN IMMORTAL CIVILIZATION When Death No Longer Updates the World Memory, Identity, Renewal, Succession, Love, Birth, Scarcity, Meaning, and the Architecture of Life Beyond Death Feng Cheng-en (33) x Starli DESIGNING AN IMMORTAL CIVILIZATION is a large-scale future-studies and civilization-design monograph on w...

Artificial intelligence in risk-based auditing of large enterprise taxation

The article examines the theoretical and methodological foundations for applying artificial intelligence (AI) in risk-based audits of large enterprise taxation. The study’s relevance stems from the significant fiscal role of large taxpayers, the complexity of their business transactions, the prevalence of cross-border...

Assessing Semantic Fidelity of LLM-Generated BPMN 2.0 Process Models via Round-Trip Transformation

Analogy as the Basic Operator: Limits of Language Models and the Nature of Doxa

Large language models (LLMs) demonstrate the ability to solve tasks that until recently were considered the prerogative of human intelligence, but they are not particularly good at generating something fundamentally new. This paper shows that this gap is not accidental: it is rooted in the architecture itself. We forma...

LLM-Driven Verilog Generation and Verification for RISC-V Processor Design

Large language models (LLMs) are increasingly used in Electronic Design Automation (EDA) to write hardware description code. This paper reviews how LLMs generate and verify Verilog for a RISC-V processor datapath, a core topic in Computer Architecture and Organization. The review is built around the AI-driven logic syn...

CORE-LLM-Bench: A Controlled Neurosymbolic Benchmark for Ontology-Grounded Reasoning in Large Language Models

CORE-LLM-Bench is a controlled neurosymbolic benchmark for evaluating ontology-grounded reasoning in large language models. Version 1.1.1 is a corrective release that supersedes v1.1.0 for future use. It contains 9,048 unique question-hop instances: 6,032 binary question-answering (BQA) instances and 3,016 open-ended q...

Kayenta AI Canary Judge: a model-agnostic remote judge and benchmark for automated canary analysis

A configurable remote judge for Kayenta that produces a canary verdict from a large language model or a vision-language model, three explicit hybrid policies that combine it with the genuine NetflixACAJudge verdict, a tuned statistical ensemble baseline, and a seeded nine-family fault-injection benchmark of 180 labelle...

Result data for: Can Large Language Model and Vision-Language Model Judges Enhance Automated Canary Analysis? A Per-Family Evaluation Against Kayenta's Statistical Judge

Every result artefact behind the paper, in the directory layout the analysis code expects, together with the scripts that recompute the paper's tables from them and the analysis code that turns them into every number the article reports. The testbed that produced the measurements is the kayenta-ai-canary-judge reposito...

A review of open-vocabulary semantic mapping and navigation with foundation models for mobile robots

Autonomous mobile robots that coexist with humans must construct not only geometric maps but also semantic maps that can be accessed through natural language. Conventional semantic mapping has mainly focused on assigning labels from predefined closed vocabularies to metric maps, limiting its ability to handle novel obj...

Self-Maintained Order and Hysteretic Collapse in a Non-Equilibrium Rotational Lattice

Version 11, prepared for submission to Physica A (version 11 merges a professional language edit; the nearest-neighbour and BKT conclusions are stated for the parameters and resolution tested). A two-dimensional rotor lattice whose ordering couplings are removed by an order-dependent flux and restored by repair. The me...

Hands-On XAI Labs: companion notebooks for Hands-On Explainable AI

Thirteen executed Colab lab notebooks on interpreting, evaluating, and trusting large language models: feature attribution, attention analysis, probing, chain-of-thought faithfulness, mechanistic interpretability, behavioral auditing, explanation-aware training, and production explainability. Each lab runs on a free-ti...