contact
Talk to me if the domain is messy.
I am most interested in projects where knowledge needs to become operational: formalized, searchable, verifiable, or useful enough to become a real product.
I usually work best with people who have a real corpus, a real evaluation problem, or a domain expert nearby. If the input is messy but the problem matters, that is a good start.
Good reasons to reach out
- formalized mathematical AI and Lean-based domain libraries
- auditable AI evaluation and benchmark design
- RAG, MCP, and agent-readable knowledge systems
- applied AI products in education, science, medicine, and public institutions
What helps in a first message
- what domain or corpus you are trying to structure
- what artifact you want at the end: paper, benchmark, product, or internal tool
- whether the work needs formal verification, retrieval, evaluation, or deployment