CORNELL UNIVERSITY · COMPUTER SCIENCE

Hi, I’m Rose.

Exploring AI we can
understand & trust.

I’m Tianruo Rose Xu, a Rawlings Presidential Research Scholar at Cornell Engineering, studying Computer Science and Mathematics.

Explore my research View CV
Book a chat ↗ Google Scholar GitHub LinkedIn X / Twitter

Click the photo for another side of me ↗

01 / QUESTIONS & EXPLORATIONS

Research

Trustworthy & Reliable AI

Developing AI systems whose behavior is accurate, transparent, well-calibrated, and robust across real-world settings.

Multimodal Machine Learning

Connecting language, vision, and other forms of data for richer understanding and practical applications.

AI Agents & Tools

Designing intelligent systems that use tools, coordinate complex workflows, and augment human reasoning and decision-making.

Mathematics & AI

Formal proofs, Lean, and the bridge between mathematical ideas and code.

Research experience

Cornell University · NLP GroupLanguage, uncertainty & evaluation A curious robot examining a question about language.

Undergraduate Researcher, advised by Professor Tanya Goyal and Professor Claire Cardie

  • Verbalized uncertainty and factuality in reasoning-based LLMs (2025–2026)
  • LLM evaluator meta-evaluation (2025)
  • Content and style evaluation (2024)
UC San Diego · Q-LabAgent safety & real-world tasks A little courier robot delivering a parcel through a city.

Research Intern, advised by Professor Lianhui Qin.

  • Real-Time Safety Benchmark (2026)
  • DeliveryGym / DeliveryBench (2026)
Cornell University · Math + AI LabFormal proofs & autoformalization A robot fitting together a mathematical proof puzzle.

Undergraduate Researcher, advised by Professor Daniel Halpern-Leistner.

  • Lean Proof Arena and LaTeX-to-Lean autoformalization (2026)
Tsinghua University · Pervasive Human-Computer Interaction LabAI tools & human-computer interaction A miniature microscope examining capillary loops.

Undergraduate Research Assistant in the Department of Computer Science and Technology.

  • AI tool benchmarking and orchestration (2025–2026)
  • NFCMTL (2025)

Additional research affiliation: Cornell University · Information Science

02 / FOUNDATIONS

Education

A globe and open book surrounded by tropical palm leaves.

SINGAPORE

UWC South East Asia

Dover Campus

Books, a globe, and a graduation cap celebrating learning.

ITHACA, NEW YORK

Cornell University

College of Engineering
B.S. in Computer Science · Mathematics minor

Aug 2024 — May 2027 (expected)

03 / RECOGNITION

Honors & Awards

Awards, Grants, and Scholarships

Competitions

04 / BEYOND THE LAB

Industry Experience

Incoming Machine Learning Engineer Intern · TikTok

2027 · Seattle, WA

TikTok E-commerce Knowledge Graph; NLP, computer vision, multimodal learning, and algorithms.

Independent Research Collaboration · Oracle

2025 - present · Remote

Receive mentorship from Priyan Pattnayak, Senior Principal Scientist at Oracle Cloud, through the AAAI-26 Undergraduate Consortium.

05 / WRITING & FINDINGS

Publications

[Submitted] RT-Safe: Benchmarking Safety of Agent in Real-Time Embodied Environment.

[Submitted] Can Emergent Verbalization of Epistemic Uncertainty Inform Factuality?

06 / SHARING KNOWLEDGE

Teaching

A little climber practising on a climbing wall with a safety rope.
Instructor

PE 1640: Basic Rock Climbing

🧗🏻‍♀️ I do top rope & lead climbing, outdoor rock climbing, and tree climbing 🌳!

LET’S CONNECT

Good research starts
with a conversation.

Book a chat Ithaca, New York · Cornell University