Category
2,921 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,...
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...
Reach audiences
Advertise in front of researchers, engineers, and readers.
Reproducibility package supporting the manuscript “Reproducible Radial-Angular Geometry of Visual Category Representations in Human MEG: Phase Organization Beyond Amplitude Structure”. The archive contains analysis code, pre-specified protocol snapshots, compact numerical results, numerical self-tests, figure-generatio...
This preprint combines three investigations of independent sets on finite trees. It proves arbitrarily long consecutive blocks of strict log-concavity failures in a fixed family of unweighted subcubic trees. For every fixed positive epsilon less than one, a suitable fixed terminal path gives at least a constant multipl...
The dominant paradigm in Human-Computer Interaction (HCI) and consumer softwareengineering posits the systematic elimination of interaction resistance—termed "SeamlessUX"—as the primary index of architectural optimization. This paper presents a structuralcritique of frictionless interaction models across neurobiologica...
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...
GREEN is an open-source framework for quantum many-body simulations of molecules and solids using Green’s function methods. This poster presents its capabilities in self-consistent GW, relativistic electronic structure, strong-correlation embedding, and spectroscopy, alongside GPU-enabled high-performance computing and...
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...
Graphs are used to model a very wide array of real-world problems in which there are objects and relationships between the objects, and graphs are used to help with reasoning tasks, such as about the relationship pathways between persons of interest in law enforcement or between genes, tissues, diseases, and medication...
The probabilistic cloud state machine (PCSM) theory [1] formalises the classical control layer of quantum computing as a geometric model over the space of stable probability distributions. This paper reports the full implementation path from that theory to a usable Python programming interface, together with real-hardw...
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.
