Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

3K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.6

#mas

1 post1 participant0 posts today
Public
ButterWord

Meta intenta evitar que Sarah Wynn-Williams venda más memorias mordaces #evitar #intenta #más #memorias #Meta #mordaces #Sarah #venda #WynnWilliams #ButterWord #Spanish_News Comenta tu opinión 👇
butterword.com/meta-intenta-ev

ButterWord · Meta intenta evitar que Sarah Wynn-Williams venda más memorias mordaces – ButterWordMeta ganó una vencimiento lícito el miércoles contra un ex empleado que publicó una memoria explosiva y reveladora, como un árbitro prohibió temporalmente al autor promover o distribuir más copias. Sarah Wynn-Williams lanzó la semana pasada “Multitud descuidada: Una historia de advertencia de poder, miseria e idealismo perdido ”, un compendio que describe una serie […]
Public
José A. Alonso

Can proof assistants verify multi-agent systems? ~ Julian Alfredo Mendez, Timotheus Kampik. arxiv.org/abs/2503.06812

arXiv logo
arXiv.orgCan Proof Assistants Verify Multi-Agent Systems?This paper presents the Soda language for verifying multi-agent systems. Soda is a high-level functional and object-oriented language that supports the compilation of its code not only to Scala, a strongly statically typed high-level programming language, but also to Lean, a proof assistant and programming language. Given these capabilities, Soda can implement multi-agent systems, or parts thereof, that can then be integrated into a mainstream software ecosystem on the one hand and formally verified with state-of-the-art tools on the other hand. We provide a brief and informal introduction to Soda and the aforementioned interoperability capabilities, as well as a simple demonstration of how interaction protocols can be designed and verified with Soda. In the course of the demonstration, we highlight challenges with respect to real-world applicability.
SearchLive feeds
About