About KeyAI
An independent research initiative.
KeyAI Research is an independent research initiative of RFID INC, connecting 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
- Legal entity
- RFID INC
- Jurisdiction
- Delaware, United States
- Official website
- https://keyai.org
- Public technical repository
- KeyAIGit research repository
- Official contact
- ceo@keyai.org
- 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, email ceo@keyai.org or contact the project on GitHub. Share a short, non-sensitive description and the relevant public source.
For sensitive findings, email a non-sensitive summary first so the maintainer can agree on a suitable reporting channel.
Contact options ยท Research collaboration