This is the first work that trains reversible, program-specific neural machine translation models to both predict execution behavior from inputs and synthesize inputs to achieve the requested behavior in real-world programs.
Unknown authors· ACM Transactions on Software...· 0 citations
This paper argues for reframing hypertext as a relational environment where the machine reader and hypertext topology are mutually constituted, and adversarial structures can exploit that entanglement.
Unknown authors· Proceedings of the 37th ACM...· 0 citations
This work presents a hardware–software co-design whose 16-bit tag uses odd parity and fail-safe class encoding, which combines a variable-precision extent, an aligned CRC checker, and an exact-bounds micro-cache.
Dan Toderici, T. Enache, R. Rughiniș et al.· Computers· 0 citations
This dataset provides the research data and code supporting the manuscript “The Long Run of a Monetary Economy: Steady States, Recurrence, and Survival in Simulation.” The archive contains the model and analysis source code, registered experimental protocols, scientific specifications, raw and derived simulation record...
Aleksandar Stojanovic· Mendeley Data· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Offline, standard-library-only verification software accompanying Seth Christopher's preprint “A Split-Graph Counterexample to a Roman–Double Roman Candidate Inequality”. Version 1.0.0; source-only publication revision figshare.1. This item contains Roman_Double_Roman_Verification_Software_v1.0.0.zip, including the byt...
This release contains the MATLAB source code, deterministic input data, generated CSV result records, validation scripts, tests, and figure-generation drivers for the associated manuscript: “A Conditional, Boundary-Aware, and Auditable Deletion-Effect Weighting Framework for MCDM with Positive Decision Matrices and a F...
Xudan Dong· Zenodo (CERN European Organi...· 0 citations
Offline verification software accompanying Seth Christopher's preprint “Roman Labels Yield One-Round Power Domination”. Scientific version 1.0.0; packaging revision figshare.2. All 24 Python files are byte-identical to figshare.1. The README, release metadata and checksum manifest have been updated; historical versions...
We give a connected chordal graph on 15 vertices and 30 edges with Roman domination number 7 and double Roman domination number 10. It refutes the candidate inequality (3/2) gamma_R(G) <= gamma_dR(G) recorded at rank 67 of AutoGraphForge's public audit, together with its equivalent rank-68 restatement. The graph consis...
This software package accompanies the manuscript Exhaustive Reassignment Reveals Identity Dependence in MOS Gas Sensor Correction Tables by Yibo Wang, Zhixian Zhao, and Yu Tang. Software and reproduction The package reproduces the numerical results for exhaustive reassignment of fixed metal-oxide-semiconductor (MOS) ga...
This is the software snapshot (release v1.0.1) accompanying the paper: "A Hierarchical Framework for Inverse Problems in Biological Cybernetics: Opportunities and Limitations" by J. R. Banga and A. F. Villaverde. It provides a reproducible MATLAB implementation of a four-level hierarchy of inverse problems, illustrated...
Julio R. Banga, Alejandro F. Villaverde· Zenodo (CERN European Organi...· 0 citations
This dataset provides held-out testing and production-model provenance analysis for the Pt–C–O fourth-generation neuroevolution potential (NEP4) used in the manuscript “Species-Dependent Interfacial Aggregation and Local Graphene Lifting on Pt(111)”. It supplements the principal computational dataset at https://doi.org...
While it has an interactive, dashboard-like interface (which might superficially look like a software "toy" or simulation sandbox), the underlying engine enforces strict numerical, symbolic, and data-integrity checks on published scientific claims. Here is a breakdown of why this instrument is highly valuable, along wi...
Jeromie Beasley· Zenodo (CERN European Organi...· 0 citations
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…
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.
Microsoft Research Blog· microsoft.comOct 30, 2026
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.
Microsoft Research Blog· microsoft.comOct 29, 2026
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.
