- Building neuro-symbolic AI systems in OpenCog Hyperon, integrating neural guidance with symbolic logic
- contributed to MOSES (Meta-Optimizing Semantic Evolutionary Search) for automated program synthesis
- Engineered a theorem prover combining Graph Neural Networks with Probabilistic Logic Networks