Science Hub Showcase 2024
REGISTRATION
The Science Hub Showcase 2024 takes place Oct 11, 2024. Enjoy keynote, panel and research presentations. Registration deadline was Oct 4, 2024.
Science Hub Showcase 2024 photo gallery
To view images from the Science Hub Showcase 2024, click on photo below.
Program
October 11, 2024 | Mong Auditorium
9 a.m.
Registration check-in / Pre-function networking with morning refreshments
10 a.m. – 10:15 a.m.
Welcome / Opening
Professor of Computer Science, UCLA Samueli School of Engineering
Science Hub Director
Ronald and Valerie Sugar Dean, UCLA Samueli School of Engineering
VP of Applied Science, Amazon Web Services AI
Professor of Computer Science, UCLA Samueli School of Engineering
10:15 a.m. – 11:00 a.m.
KEYNOTE SPEAKER
Amazon Senior Principal Applied Scientist
Verified Collaboration: How Lean is Transforming Mathematics, Programming, and AI
Abstract:
Imagine a world where mathematicians, programmers, and AI systems can collaborate with complete trust in each other’s work. This is the promise of Lean, an open-source project that’s transforming how we approach mathematics, software development, and artificial intelligence. Lean provides machine-checkable proofs, eliminating the need for manual verification and allowing humans and AI to build upon each other’s work with unprecedented confidence. By addressing the “Trust Bottleneck,” Lean opens doors to cross-disciplinary collaboration. In this talk, we’ll explore how Lean is impacting these fields. We’ll see how it’s providing mathematicians with a new way to construct and verify complex proofs, enabling software developers to rigorously verify critical systems, and creating a foundation for more reliable AI for science and mathematics. We’ll also discuss the role of the Lean Focused Research Organization (FRO), a non-profit dedicated to advancing Lean and growing its community. The FRO is driving Lean’s development as both a proof assistant and an extensible programming language, empowering users to customize its capabilities for diverse applications. Through real-world examples from academia and industry, we’ll discover how Lean is paving the way for a more efficient, reliable, and collaborative future in mathematics, software development, and AI. Join us to learn more about Lean and how to be part of this exciting journey.
11:00 a.m. – 11:45 a.m.
PANEL
AUTOMATED REASONING
Jens Palsberg, Moderator
Professor of Computer Science, UCLA Samueli School of Engineering
Science Hub Director
Amazon Senior Principal Applied Scientist
Professor, Department of Mathematics, The James and Carol Collins Chair in the College of Letters and Sciences
Professor and Chair, UCLA Computer Science Department
Principal Applied Scientist at Amazon Web Services (AWS)
11:45 a.m. – 11:50 a.m.
Introduction of the Poster Session
11:50 a.m. – 1:15 p.m.
Lunch and Poster Session
Poster Presenters
Evan Becker
POSTER
Measuring LLM Confidence through Stable Explanations.
Guorui Chen
POSTER
Integrating Magnetoelasticity and Artificial Intelligence for Cardiovascular Medicine
Eray Eren
POSTER
Mitigating Bias in Generative AI for Speech Synthesis and Speaker Verification for Under-Represented Populations
Poorva Garg
POSTER
Probabilistic Programming Languages: Making Probabilistic Modeling Accessible
Siddharth Joshi
POSTER
Data-Efficient and Robust Learning with Limited Supervision
Yuzhu Li
POSTER
Artificial Intelligence-enabled Computational Sensing and Imaging for Label-free Biological Samples
Haofan Lu
POSTER
NeWRF: A Deep Learning Framework for Wireless Radiation Field Reconstruction and Channel Prediction
Mingyu Derek Ma
POSTER
Inferring from Logits: Exploring Best Practices for Decoding-Free Generative Candidate Selection
Varuni Sarwal
POSTER
Jury-Based Self-Evaluation: Benchmarking LLM Problem-Solving in Specialized Domains
Yihan Wang
POSTER
Trustworthiness and Generalization of Language Models.
Yaoxuan Wu
POSTER
NaturalSym: Natural Symbolic Execution-Based Testing for Big Data Analytics
1:15 p.m. – 3:00 p.m.
RESEARCH PROJECT PRESENTATIONS
Abeer Alwan, chair
Professor and Vice Chair, Undergraduate Affairs, UCLA Samueli School of Engineering
1:15 p.m. – 1:45 p.m.
Gerard Medioni, guest speaker
Vice President and Distinguished Scientist, Amazon Prime Video & Studios
Watching Sports on Prime Video: A Differentiated Experience
1:45 p.m. – 2:05 p.m.
Professor and Vice Chair of Graduate Studies, Department of Computer Science (UCLA)
Automated Testing of Deep Learning Compilers and Hardware Accelerators with Custom Mutation Synthesis
2:05 p.m. – 2:25 p.m.
Associate Professor (UCLA), Amazon Scholar at Alexa AI
From Learning through Labels to Learning through Language
2:25 p.m. – 2:45 p.m.
Associate Professor (UCLA), Primary Area: Signals and Systems
High-Performance Non-Invasive Brain-Machine Interfaces Using Shared Autonomy
2:45 p.m. – 3:00 p.m.
CLOSING
Professor of Computer Science, UCLA Samueli School of Engineering
Science Hub Director