Location: Pasadena, CA
  Remote: No/Yes
  Willing to relocate: Yes
  Technologies: Computer Vision, Code generation, Program Synthesis, Coq, Lean, PyTorch, Julia
  Résumé/CV: https://atharvas.net/cv/
  Email: atharvas@utexas.edu

I'm a PhD student at UT Austin. Mainly looking for internships in companies that are working on code generation, mathematical reasoning (theorem provers), or interested in interpretable (yet performant) computer vision models. I'm pretty familiar with the state of the art in code generation and interpretable computer vision algorithms. Open-ended projects (research based) would be great but I'm happy to work on anything codegen/perception based really.

Some of my recent work:

- Symbolic Regression @ NeurIPS24 (https://trishullab.github.io/lasr-web/)

- Visual Programming @ CVPR25 (https://trishullab.github.io/escher-web/)