Category
2,917 papers
Can competing AI systems help humans evaluate reasoning they cannot independently verify? AI safety via debate proposes this possibility. Yet winning an argument is not a certificate of safe action. This paper develops evidence-grounded adversarial assurance: a mathematical framework that separates proposal generation,...
This software record contains the custom R and Python scripts, compact metadata, and reproducibility files used to reproduce the multi-cohort sulfur-handling transcriptomic analyses reported in “A Predefined Sulfur-Handling Transcriptional Programme Is Associated with Molecular Subtype in Colorectal Cancer.” The workfl...
Abstract:Large Language Models (LLMs) are increasingly used for code generation but can produce fluent yet functionally incorrect outputs, which limits trust in their usage for practical software engineering workflows. This thesis investigates whether Introspective Uncertainty Estimation (IUE), based on internal hidden...
Defect-aware physical-design recovery assumes that identifying an unusable resource can enable functionality to be recovered by relocation. This work tests a narrower question: can a frozen static-vacancy relocation method outperform a qualified native re-legalization control when both are applied to the same failed-fo...
Reach audiences
Advertise in front of researchers, engineers, and readers.
This record provides a cleaned, leak-free benchmark derived from version 1 of the Mendeley Data collection “A Comprehensive Image Dataset for Accurate Authentication of Meat Species and Hourly Freshness Using Artificial Intelligence in Food Safety” (https://doi.org/10.17632/4tj9t3n6vj.1). The benchmark contains 1,849 o...
VLWNC-IF-VF investigates a physically grounded architecture for a broadly capable “light printer in a box.” The proposed system combines optical addressing, chemistry-specific processing cartridges, accessible reactive surfaces, hierarchical assembly, and integrated metrology. Its guiding workflow is: describe matter →...
This letter proposes that H0 does not measure space expansion, but the accumulated proper velocity of the observer when zooming v zoom of d to resolve distant objects. Galaxies do have real natural motion from 100 to 1000 km per s. What does not expand is space itself. Redshift z equals v zoom over c is a large scale o...
# LUBeniCulturali v2.0.0 LUBeniCulturali is open-source desktop software for reproducible explorationof cultural-heritage records exposed through the ArCo knowledge graph of theItalian Ministry of Culture. It provides configurable, paginated SPARQLextraction; polite rate limiting; persistent SQLite caching; field-scope...
Can competing AI systems help humans evaluate reasoning they cannot independently verify? AI safety via debate proposes this possibility. Yet winning an argument is not a certificate of safe action. This paper develops evidence-grounded adversarial assurance: a mathematical framework that separates proposal generation,...
It is argued that AI is unlikely to fully replace human testers in the near future and should be used as an assistant that supports human judgment in software quality assurance.
MASTER DISCLAIMER — CRYPTOGRAPHIC PROVENANCE Dragolich Research Labs LLC — NUMEN Sovereign Notary System Applies to: AFFIDAVIT_OF_DIGITAL_SOVEREIGNTY.txt, MASTER_SOVEREIGN_AFFIDAVIT.json, ROOT_WEB_SEAL.json, MASTER_SEAL_MANIFEST.json, ROOT_SEAL.json. What this is A cryptographic notarization record. It is machine-gener...
TÍTULO MANTIDO: Artigo 2 V2 VALIDADA: Vácuo como Medida Divisora Log-Uniforme - Não Evolução da Escala de Aceleração - Teste SPARC e REBELS-25 (z=7,31) + Livro Completo Consolidado V6.3 DESCRIÇÃO NOVA - V3 ATUALIZADA COM LIVRO V6.3: Este depósito consolida a V2 VALIDADA do Paper 2 + a relação com as 6 Provas + Manifest...
StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.
An ongoing survey tracks the latest AI accelerator systems to keep hardware relevant for Lincoln Laboratory staff and sponsors.
Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.
Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.
GPT-Lab
· gpt-lab.eu
Sep 23, 2026
Requirements in large systems rarely exist in isolation. Their meaning depends on the wider project context - other requirements, policies, decisions, tests, and implementation details. That becomes especially important when AI is used for review, because spotting a possible conflict or gap is only the beginning. ReqSpace explores how AI, visualisation, and connected project context can help reviewers understand those findings, trace the relationships behind them, and focus on the questions that…
GPT-Lab
· gpt-lab.eu
Sep 17, 2026
AI is making software generation faster, but speed does not remove the need for expertise. As more work is delegated to AI, tacit knowledge may become one of the most important human advantages in software engineering. The post Beyond Prompt Engineering: The Role of Tacit Knowledge in Software Engineering appeared first on GPT-Lab.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
