3 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Large language models (LLMs) are increasingly used as formalizers: given a reasoning problem expressed in natural language, they produce a formal specification that a symbolic solver can then solve, with guarantees relative to that specification. Many specifications are runnable yet semantically wrong, encoding incorre...
Self-play red-teaming improves language-model safety by pitting attacker and defender roles against each other in a zero-sum game. However, real adversaries increasingly use mosaic attacks: multi-turn sequences whose individual fragments are innocuous in isolation yet assemble into a harmful payload. We develop a theor...
The Fetch.ai architecture is introduced, an industrial-strength platform designed to bridge the gap by facilitating the integration of classical MAS principles with modern AI capabilities, and provides a principled architecture for moving beyond current agent implementations towards open, collaborative, and economicall...
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
