Blog
-
Quantum Physics Informed Neural Solvers for PDEs
Can tiny quantum neural networks outperform massive deep learning models? We don’t know (yet), but we collected everything you need to know about the topic.
-
Lean4 Autoformalization Engine
A memory-efficient, single-GPU training and inference architecture for formalizing natural language mathematics into Lean 4 statement code using quantized models.
-
Lilith Zero
Mandatory access control for AI agents. Policy engine and kernel enforcer. Highest guarantee, simple parts.