Nirav did an honors thesis with Nicholas Asher in the Philosophy department on rationality in neural networks. With NNRG, he worked on using neural networks to direct natural deduction. He went on to work with Vecna, Inc. in DC.