Category
3,069 papers
What this is. The complete, unfiltered result of the Phygas search for the pulsar PSR J2010+3051: for each of 4,074 young open clusters and moving groups (of 4,087 in the catalogue; the others were excluded by a distance prefilter) it records how close, how long ago and at what relative speed the pulsar and the cluster...
What this is. The complete, unfiltered result of the Phygas search for the pulsar PSR J1643-1224: for each of 4,083 young open clusters and moving groups (of 4,087 in the catalogue; the others were excluded by a distance prefilter) it records how close, how long ago and at what relative speed the pulsar and the cluster...
What this is. The complete, unfiltered result of the Phygas search for the pulsar PSR J0846-3533: for each of 4,087 young open clusters and moving groups (of 4,087 in the catalogue; the others were excluded by a distance prefilter) it records how close, how long ago and at what relative speed the pulsar and the cluster...
What this is. The complete, unfiltered result of the Phygas search for the pulsar PSR J0837+0610: for each of 4,085 young open clusters and moving groups (of 4,087 in the catalogue; the others were excluded by a distance prefilter) it records how close, how long ago and at what relative speed the pulsar and the cluster...
Reach audiences
Advertise in front of researchers, engineers, and readers.
What this is. The complete, unfiltered result of the Phygas search for the pulsar PSR J2346-0609: for each of 4,052 young open clusters and moving groups (of 4,087 in the catalogue; the others were excluded by a distance prefilter) it records how close, how long ago and at what relative speed the pulsar and the cluster...
In this paper we present synthetic Very Long Baseline Interferometry (VLBI) observations of M87 between a near-future configuration of the Event Horizon Telescope (EHT) and one or multiple 2.5 m-class balloon-borne VLBI stations on a northern transatlantic flight trajectory launching from Kiruna, Sweden. These balloon-...
Agentic capabilities are increasingly important for modern LLMs, yet remain difficult to evaluate during pretraining. Existing approaches typically rely on static trajectory-derived tasks or likelihood-based proxies, which are lightweight but provide limited visibility into how base models behave in interactive environ...
Transistor-level SKY130 simulations show that the second run gives the gradient within 1.9%; that hardware linearisation permits large, noise-robust error signals; that a 13-cell network learns the Iris data set; and that learning in situ restores mismatched circuits on which software-trained weights fail, from 53-63%...
P2Patch is presented, a generative adversarial repair system that treats each patch as a new attack target and shows that adversarial testing and independent security oracles expose repair gaps that one-shot validation misses.
Impossible Mission Finder is presented, a multi-agent system combining static analysis, dynamic execution and log analysis, that supports fully automated identify, test, and validate logic flaws in autonomous vehicles, leading to 105 previously unknown logic flaws.
SWE-Stream is presented, a system for scaling executable SWE training data through progressive construction and elastic streaming execution, which progressively validates and refines task candidates, reusing existing artifacts when possible and applying targeted completion only when necessary.
An automated approach to inject unsafe code coverage oracles, which require no forward porting, avoid overfitting, and allow updating test sets in the future are introduced, to quantify the performance of a security tool.
We’re giving developers, enterprises, scientists, and consumers access to Gemini 4 Argon, our latest frontier model.
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…
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
