The proposed EpiAgent is a framework that equips LLM-based agents with an explicit, learnable epistemic layer, which maintains beliefs over others' private information and combines these beliefs with the agent's available information into an epistemic state for action selection.
Xuan-Fa Jin, Xin-Yu Cui, Zhi-Jian Ma et al.· 0 citations
It is shown that across scenarios that propose ending or retaining an attribute of the model's deployment, every variant becomes more likely to resist ending and more likely to retain, the specific attribute it was trained to identify with while its stance toward other attributes is largely unchanged.
We develop a formal semantics for a general class of coordinated systems of parameterized transformations, taking the Transformer as a paradigmatic starting point but abstracting from its particular mathematical instantiation. Representational vectors receive both extensional reference and ordered intensional interpret...
Marco Giunti, Fabrizia Giulia Garavaglia· 0 citations
Verifying numerical claims in research written by AI agents is an important but challenging problem. Recent benchmarks show that many agent-written papers fail integrity checks, but such verdicts, often produced by a single LLM judge, identify failure without explaining its nature, and existing checks either test a pap...
Mosab Alfaqeeh, Omar Hourani, Muath Hourani et al.· 0 citations
This paper introduces Weakening-Induced On-Policy Self-Distillation (WISD), which instead constructs a weaker counterpart of the original model and uses the contrast between the two as a training signal without requiring privileged information.
Financial assistants answer questions that sound factual but depend on what the user leaves unsaid: what a data figure measures, which product variant is meant, and the investor's situation and the rules that apply. An assistant that ignores these can still answer with a real number from its data, one that answers a di...
Radha Yadav, Prasanna Devadiga, Peeyush Mishra et al.· 0 citations
LLMs increasingly fact-check online content with the poster's identity in view. However, it remains unclear which post-training changes how much a model's truth judgement depends on the poster's social class, and how such a change happens inside the model. This paper investigates job-based doubt, i.e., judging a claim...
Search-based machine-learning (ML) agents improve a solution by writing candidate programs, executing them, and keeping the best. Execution gives the search reliable feedback, but a single run can take hours, and most runs end in programs the agent discards. Recent agents try to save these runs by letting a large langu...
Yuxiao Lee, Zherui Yang, Fan Liu et al.· 0 citations
SkillMem is introduced, which represents each reusable skill as a small external latent memory and makes it directly available during latent multi-agent reasoning, showing that compact procedural memories can be reused without sacrificing the efficiency of latent multi-agent reasoning.
Yuxuan Zhu, Mohammad Mohammadi Amiri, Pin-Yu Chen et al.· 1 citation
SciGame, a controlled benchmark that converts scientific literature into structured scientific cards, is introduced, a controlled benchmark that evaluates agents in candidate-guided Identification and open-ended Discovery settings.
Yu-Sheng Zhao, Bo-Wei He, Xue Liu et al.· 0 citations
Partner--Outsider Positive Listening (PoPLi) is the difference between the two agents in how much their action changes when the message is reworded with its meaning kept, and it is computed after the fact by replaying logged prompts.
Flint-interactive gives AI agents a language for creating interactive visualizations. Click a chart, filter data, highlight related content, and explore beyond the view the author originally chose. The post Flint-interactive: A language for creating interactive data visualizations appeared first on Microsoft Research.
A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.
Microsoft Research Blog· microsoft.comOct 15, 2026
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.