Adithya Bhaskar

Experience

• 

  Uppsala universitet

  May 2021 - Jul 2021

  Research Intern

  • Developed a model and simulator for programs running under the ARMv8 memory model, and proved the equivalence of the model to the ARM specification using 750+ litmus tests.• Used Context Bounded Model Checking to perform State Reachability Analysis for programs under the ARMv8 memory model & demonstrated up to an order of magnitude increase in performance over existing model checkers.

• 

  The University of Texas at Austin

  May 2022 - Nov 2022

  Research Intern

  Very Large Language Models for Multi-Document Summarization• Developed metrics to measure factuality, faithfulness and specificity (whether it is correct, prefers major viewpoints, and is not too generic) for a summary of multi-document text such as hotel reviews.• Utilized the above along with an n-gram abstractiveness metric to benchmark GPT-3, and showed that simple hierarchical summarization of large text performs poorly on faithfulness and specificity.• Investigated various pre-clustering and pre-summarization methods and illustrated that pre-summarization with a pretrained keyword-based extractive model improves correctness, faithfulness and specificity, while only marginally affecting abstractiveness. Show less