Orpheus

• Orpheus 9 Apr 2026 20:03 UTC

  1 point

  0

  in reply to: Roman Malov’s comment on: Sa­muel Teu­ber: Prov­ably Safe Neu­ral Net­work Con­trol­lers via Differ­en­tial Dy­namic Logic

  Sorry, only saw your comment now. The events are on https://​​luma.com/​​guaranteedsafeaiseminars If interested the recording is now available: https://​​youtu.be/​​81Y4VSjdgI4?si=UWi6V3MyDNZVPsOT&t=62

A bench­mark for veri­cod­ing: for­mally ver­ified pro­gram synthesis

Lars Lin­de­mann: Ver­ifi­able AI-En­abled Au­tonomous Sys­tems with Con­for­mal Prediction

Sa­muel Teu­ber: Prov­ably Safe Neu­ral Net­work Con­trol­lers via Differ­en­tial Dy­namic Logic

Theodore Ehren­borg: Bench­marks for AI-as­sisted For­mal Verification

Ben­jamin Plaut: Safe Learn­ing Un­der Ir­re­versible Dy­nam­ics via Ask­ing for Help

Clark Bar­rett: When AI met AR

Jobst Heitzig: Model-Based Soft Max­i­miza­tion of Suitable Met­rics of Long-Term Hu­man Power

GasS­ta­tionMan­ager: Towards Safe and Hal­lu­ci­na­tion-Free Cod­ing AIs

Tan Zhi Xuan: Eng­ineer­ing Ra­tional Co­op­er­a­tive AI via In­verse Plan­ning and Prob­a­bil­is­tic Programming

Agustin Martinez Sune: Us­ing PDDL Plan­ning to En­sure Safety in LLM-based Agents

Louis Jaburi: Com­pact Proofs of Model Perfor­mance via Mechanis­tic Interpretability

Yoshua Ben­gio: Bayesian or­a­cles and safety bounds

Char­bel-Raphael Segerie & Epiphanie Gedeon: Con­structabil­ity: De­sign­ing plain-coded AI systems

Evan Miya­zono: Prov­ing safety for nar­row AI outputs

Ra­fael Kauf­mann: Gaia: Distributed plane­tary-scale AI safety

Steve Omo­hun­dro: Prov­able AI Safety

Jus­tice Se­fas: Syn­the­siz­ing Gate­keep­ers for Safe Re­in­force­ment Learning

Ro­man So­let­skyi: Ver­ify­ing Global Prop­er­ties of Neu­ral Networks

AI Con­trol Hackathon