Category
3,351 papers
Software development follows an implementation-verification loop in which developers or agents iteratively revise an implementation until an evaluator, such as a test suite, accepts it. The evaluator checks the implementation against a set of requirements under a model of the deployment environment. Yet even a formal p...
Digital morphology can improve standardization, image traceability, remote consultation, education, proficiency testing, quality assurance, and selected aspects of laboratory workflow.
Version 2.0.0 provides two separate collections of 8,600 persisted probability files each, covering historical and supplementary experiments on the same 43 binary tasks and five seeds. Each NPZ contains validation/test probabilities and aligned binary labels (p_val, p_test, y_val, y_test). No raw feature tables or mode...
Cybersickness remains a practical barrier to sustained virtual-reality use because mitigation often begins only after discomfort is reported, while aggressive countermeasures can themselves degrade presence and task performance. This paper presents PAVR, a closed-loop adaptive virtual-reality architecture that reframes...
Reach audiences
Advertise in front of researchers, engineers, and readers.
Autonomous software agents are increasingly transacting over the HTTP 402 (x402) protocol, yet the empirical economics of machine-to-machine commerce remain largely uncharacterized. The prevailing industry narrative assumes a migration toward multi-dollar, compound transactions. To test this, we analyzed a census-scale...
This software accompanies the manuscript “A Method for Characterizing the Reinforcement Environments of Concurrent Schedules.” The Python program generates two-dimensional outcome landscapes for concurrent reinforcement schedules from the Reinforcement Model described in the manuscript. It calculates total reinforcemen...
Independent maintained research companion for You Look Nice, but I Am Here to Negotiate: The Influence of Robot Appearance on Negotiation Dynamics. Includes paper-specific protocol configurations, independent scientific tests, hashed reproduction recipes, environment constraints, paper-to-code map and user/contributor...
CCR 1.8.0 adds an explicit verified_growth_v1 policy while preserving the legacy v1 optimizer, signatures, admission, approval and lease boundaries. Replayable service/cost accounting, delayed reuse, immutable assets, receiver transfer qualification, and lifecycle invalidation/revalidation. Exact bounded dependency-bun...
Touchstone alpha v1.0 What it is Touchstone is a reproducible statistical and algebraic screening tool for distinguishing supported mathematical relationships from search-induced patterns in sequences and numerical datasets. A methodological analysis tool for testing whether apparent mathematical structure in data is g...
TrialMatchAI 0.9.0 establishes a tested CLI and package-delivery foundation, with integrity and recovery fixes from the codebase and Copilot reviews. Try it Use Python 3.11 in an activated virtual environment: python -m pip install trialmatchai==0.9.0 trialmatchai demo --workdir ./demo-workspace trialmatchai demo --wor...
Complete public source release for TCM-QM and the TCM-QM Atlas web application. Adds the complete website source under website/. Includes searchable compound and herb interfaces, evidence-aware graph exploration, 2D/3D molecular viewers, API routes, 3,196 XYZ structures, machine-readable download surfaces, data-generat...
Version 1.20, 12 September 2026. No estimate, table 2 value or certainty rating changes. Three presentation and build corrections. Supplementary table S5b, the analyses whose interval excludes no effect only while every data source is present, was a single eight-column table that wrapped author names mid-word when type...
AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…
A Blog post by Ai2 on Hugging Face
GPT-Lab
· gpt-lab.eu
Nov 3, 2026
Is your company’s AI sovereign? A practical guide for CIOs on AI vendor lock-in, EU Data Act switching, cloud sovereignty, and testing your exit plan before you need it. The post Sovereignty Is the Option to Leave appeared first on GPT-Lab.
Evaluating Microsoft Copilot at enterprise scale requires test data that captures the full complexity of real organizations, yet real enterprise data contains sensitive information that cannot be used for evaluation under any circumstances. The post From synthetic enterprise data evaluations to real Microsoft Copilot AI confidence appeared first on Microsoft Research.
Host Sowbhagya Suresh shares some of the latest news and cutting-edge research from across Microsoft—from understanding the challenges facing coding agents to uncovering how people use AI at work and improving extended-range weather forecasting. The post Microsoft Research Focus – Edition #97 appeared first on Microsoft Research.
A Blog post by IBM Granite on Hugging Face
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
