Applied Scientist, Neuron Automated Reasoning Group at Annapurna · Match Moth