About KeyAI
An independent research initiative.
KeyAI Research connects AI-assisted exploration with formal verification and a durable public research record.
People and organization
Who is behind the work.
- Research initiative
- KeyAI Research
- Founder and project lead
- Bekzod Dzhanpolatov
- Organization
- RFID INC
- Jurisdiction
- Delaware, United States
- Public project profile
- KeyAIGit on GitHub
Human maintainers are responsible for project decisions and published claims. AI systems assist with research and implementation; evidence comes from the disclosed proof or validation path.
Why we are building this
Research should be possible to inspect and continue.
We are interested in the gap between a plausible argument and a result another person can check. Our work combines formal proofs, bounded experiments, and records of the assumptions and unsuccessful approaches that shaped a decision.
KeyAI Research is the research program. Research OS is the verification workspace being developed through that work. The current system is a public reference deployment, with external usability and demand still to be established.
Contact and collaboration
A public place to start.
For a research question, a reproducibility issue, or an introduction, contact the maintainer through the project on GitHub. Share a short, non-sensitive description and the relevant public source.
For sensitive findings, first request a private channel without including the finding itself.
Contact and collaboration options