ENTITY
seL4
seL4
PulseAugur coverage of seL4 — every cluster mentioning seL4 across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
2
2 over 90d
TIER MIX · 90D
RECENT · PAGE 1/1 · 2 TOTAL
-
AXON launches as first AI-native sovereign systems language
A new open-source programming language called AXON has been introduced, designed as an AI-native sovereign systems language. It features a compiler that formally verifies user intent at compile time and targets the seL4…
-
Neuro-symbolic AI framework automates software verification proofs
Researchers have developed a novel neuro-symbolic framework to automate the generation of proofs for systems software verification. This approach combines large language models (LLMs) with interactive theorem proving (I…