External Publication
Visit Post

Looking for endorsor for arXiv Submission (cs.LG)

Hugging Face Forums [Unofficial] March 9, 2026
Source

Hi, I’m in a similar position and would really appreciate any help.

I’m an independent researcher based in London looking for a cs.LG endorsement. My paper looks at whether modular AI systems, where frozen expert modules are composed through sparse routing, can make safety properties like guaranteed forgetting and non-degradation formally provable. It’s framed as open problems inviting the formal methods and learning theory communities to contribute.

Paper: storm-safety-proofs/specs/SYSTEM_SPECIFICATION.pdf at main · kdschulte/storm-safety-proofs · GitHub

Repo: GitHub - kdschulte/storm-safety-proofs: Mathematical framework for proving verifiable safety properties (attribution, guaranteed forgetting, compositional non-degradation, memory isolation) in modular compositional AI systems. · GitHub

Endorsement code: ZYHFXN

Happy to answer any questions about the work.

Thanks, Kim

Discussion in the ATmosphere

Loading comments...