CV

PhD Student

Drexel University

• Lead two complete research projects involving collaboration across institutions, resulting in NLP publications.
• Leverage LLMs to auto-formalize complex reasoning and planning problems.
• Evaluate LLM-as-formalizer in realistic planning tasks with constrained environments.

Student Researcher

University of Pennsylvania

• Extract interpretable lexical and stylistic features for authorship attribution.
• Fine-tune BERT Sentence Transformers for embedding-based analysis.

Student Researcher

Boston University

• Studied ambiguity in natural language annotations using tracking datasets.
• Designed MTurk experiments using HTML.

PhD

Drexel University

Computer Science

• Advisor: Li “Harry” Zhang
• GPA: 4.00/4.00

Master of Science in Engineering

University of Pennsylvania

Computer and Information Science

• GPA: 3.63/4.00

Bachelor of Arts

Boston University

Mathematics and Computer Science

• GPA: 3.93/4.00 (summa cum laude)
• Dean’s List (Fall 2018 - Fall 2021)
• Thomas M. Menino Scholarship Recipient

On the Limit of Language Models as Planning Formalizers

Language Model as Planner and Formalizer under Constraints

Unifying Inference-Time Planning Language Generation

Language Model Planners do not Scale, but do Formalizers?