Lugel01
Cryptographic systems
Proof systems, verifiable computation, and protocols that hold under adversarial conditions.
Intelligence,
grown in the dark.
Research on intelligence, computation, and verifiable systems.
01 — Cryptography & inference
Three programs
Proof, inference, and systems that learn from evidence.
02
Inference systems
Inference-time systems that make models more reliable, efficient, and inspectable.
03
Autonomous research
Systems that branch, test, retain evidence, and carry their strongest findings forward.
02 — Research system
Open-ended, evidence-led
Explore widely. Verify hard. Carry evidence forward.
Every program begins with a question, branches into independent work, and keeps only what survives verification.
01
Frame
Set the question and the hard constraints.
02
Explore
Probe distinct directions in parallel.
03
Verify
Test the evidence and reject goal-hacking.
04
Synthesize
Carry the strongest findings into the next state.