Projects (at least some of them...)

• Quantum neural nets for PDEs github.com/JanosMozer/quantum-neural-pde-solver

  Quantum variational neural nets solving partial differential equations extremely fast, and with higher generalisation rate than normal neural solvers.

• Lilith Zero github.com/BadC-mpany/lilith-zero

  Kernel based runtime security for autonomous AI agents.

• Hashnet github.com/JanosMozer/hashnet-macOS

  Encryption software that binds access to physical devices rather than people.

• Autoformalization model + engine github.com/JanosMozer/lean4-autoformalisation-engine

  A fast model capable of running autoformalization loops for theory proving on local hardware.

• Black hole simulations github.com/JanosMozer/black-hole-simulations

  C++ / OpenGL simulations of gravitational lensing and black hole visualization, including 3D ray-tracing and a 2D lensing demo.

Publications

• Emissive perovskite quantum wires in robust nanocontainers: CsPbX₃ confined inside boron nitride nanotubes Royal Society of Chemistry · 2026
• GliNER-CTD: Open-Set Named Entity Recognition for Clinical Trial Protocols via LLM-Supervised Bi-Encoder Distillation arXiv (forthcoming) · 2026
• Perovskite Structures Inside Carbon and Boron Nitride Nanotubes Hungarian National Physics Research Competition · 2024