Our paper "Secure Formal Raising: Protecting the Development of AI through Executable Properties" is available #online on #arxiv arxiv.org/abs/2611.08042 @unibremen.bsky.social #FormalRaising #security #SecurityProperties #ExecutableSpecification #ArtificialIntelligence #ModelRaising
November 12, 2026 at 10:38 AM
Our paper "Secure Formal Raising: Protecting the Development of AI through Executable Properties" is available #online on #arxiv arxiv.org/abs/2611.08042 @unibremen.bsky.social #FormalRaising #security #SecurityProperties #ExecutableSpecification #ArtificialIntelligence #ModelRaising
Our paper "Formal Raising: Embedding Verifiable Ethical Properties into the Development of AI" accepted for publication at #LLM2026 is available #online on #arxiv arxiv.org/abs/2610.25501 @unibremen.bsky.social #ArtificialIntelligence #ModelRaising #Ethics #verification #FormalRaising
November 11, 2026 at 6:55 AM
Our paper "Formal Raising: Embedding Verifiable Ethical Properties into the Development of AI" accepted for publication at #LLM2026 is available #online on #arxiv arxiv.org/abs/2610.25501 @unibremen.bsky.social #ArtificialIntelligence #ModelRaising #Ethics #verification #FormalRaising