Looking for endorsor for arXiv Submission (cs.LG)
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