惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

K
Kaspersky official blog
T
Threat Research - Cisco Blogs
N
News and Events Feed by Topic
Hacker News: Ask HN
Hacker News: Ask HN
Project Zero
Project Zero
Application and Cybersecurity Blog
Application and Cybersecurity Blog
博客园 - 叶小钗
Security Latest
Security Latest
Spread Privacy
Spread Privacy
aimingoo的专栏
aimingoo的专栏
N
News and Events Feed by Topic
Webroot Blog
Webroot Blog
U
Unit 42
Cyberwarzone
Cyberwarzone
小众软件
小众软件
Scott Helme
Scott Helme
Engineering at Meta
Engineering at Meta
Microsoft Security Blog
Microsoft Security Blog
T
The Blog of Author Tim Ferriss
A
About on SuperTechFans
爱范儿
爱范儿
S
Schneier on Security
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
Schneier on Security
Schneier on Security
Latest news
Latest news
GbyAI
GbyAI
cs.CV updates on arXiv.org
cs.CV updates on arXiv.org
Simon Willison's Weblog
Simon Willison's Weblog
The Register - Security
The Register - Security
WordPress大学
WordPress大学
博客园_首页
Blog — PlanetScale
Blog — PlanetScale
PCI Perspectives
PCI Perspectives
Jina AI
Jina AI
AI
AI
NISL@THU
NISL@THU
I
Intezer
G
GRAHAM CLULEY
B
Blog
S
Secure Thoughts
IT之家
IT之家
宝玉的分享
宝玉的分享
Recent Announcements
Recent Announcements
Y
Y Combinator Blog
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
酷 壳 – CoolShell
酷 壳 – CoolShell
有赞技术团队
有赞技术团队
V2EX - 技术
V2EX - 技术
Recorded Future
Recorded Future
Hacker News - Newest:
Hacker News - Newest: "LLM"

Cheriton School of Computer Science

PhD Seminar • Artificial Intelligence | Machine Learning • Learning to Understand and Generate Multimodal Contents Within a Unified Model | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Machine Learning • Learning to Evaluate and Improve Visual Generation from Human Preferences | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Machine Learning • Evolving the Knowledge Boundary in Agentic Visual Generation | Cheriton School of Computer Science | University of Waterloo CrySP Speaker Series on Privacy • Breaking the Web is Good for Privacy | Cheriton School of Computer Science | University of Waterloo Seminar • Algorithms & Complexity • Paintability of Bipartite Graphs | Cheriton School of Computer Science | University of Waterloo PhD Defence • Information Retrieval • Breaking Information Silos: Advancing Search Systems for Unified Information Seeking | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Symbolic Computation • Sobolev Regularized Polynomial Features for Robust Handwritten Symbol Recognition | Cheriton School of Computer Science | University of Waterloo PhD Defence • Programming Languages • Implementation Techniques for Lexical Effect Handlers | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Computational Finance • Data Scarcity and the Decumulation Problem: Two Challenges in Finance PhD Seminar • Artificial Intelligence | Machine Learning • From Verifiable Rewards to Tool-Using Agents: VerlTool for Agentic Reinforcement Learning | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Machine Learning • Understanding Hour-Long Videos with Hybrid Mamba-Transformers | Cheriton School of Computer Science | University of Waterloo Seminar • Human–Computer Interaction | Artificial Intelligence • Scaling Foundation Models & Agentic AI that Supports Healthy Living | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Algorithms and Complexity • Container Lemmas and the Query Complexity of Graph Property Testing | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Human–Computer Interaction • Technology-mediated Group Idea Generation and Evaluation for Artistic Creations Across Disciplines | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Artificial Intelligence | Machine Learning • A Unified Perturbation Framework for Analyzing Leaderboard Stability and Manipulation | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Artificial Intelligence | Human–Computer Interaction • AI in Mental Health: Clinician Perceptions and the Need for AI Literacy in Participatory Research | Cheriton School of Computer Science | University of Waterloo PhD Defence • Artificial Intelligence | Machine Learning • Multilingual Embeddings: Data, Training, and Understanding | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Data Systems • Evaluating LLM Robustness Under Adversarial and Conflicting Evidence in Health Question Answering and Claim Verification | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Symbolic Computation • Stability of Sobolev-Regularized Polynomial Differentiation Matrices | Cheriton School of Computer Science | University of Waterloo PhD Defence • Artificial Intelligence | Machine Learning • Gradient-based Methods for Multi-Objective Optimization with Applications in Machine Learning | Cheriton School of Computer Science | University of Waterloo PhD Defence • Artificial Intelligence | Machine Learning • Towards Foundation Models for Text-Rich Multimodal Tabular Data | Cheriton School of Computer Science | University of Waterloo Seminar • Algorithms and Complexity • A Strong Linear Programming Relaxation for Weighted Tree Augmentation | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Data Systems • Query Expansion in the Era of Large Language Models | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Algorithms and Complexity • Multistroke Character Recognition Using Orthogonal Polynomial Representations | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Machine Learning • Basis Transformer as a Foundation Model for Multimodal Tabular Representation Learning | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Quantum Computing • Quantum Colorings of Spheres | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Programming Languages • Tensor Probabilistic Model Checking of Finite-Horizon Markov Chains | Cheriton School of Computer Science | University of Waterloo Seminar • Algorithms and Complexity • Follow-the-Perturbed-Leader with Between-Action Dependence | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Artificial Intelligence | Machine Learning • UniMaia: Steering Chess Policies with Language for Human-like Play | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Cryptography, Security, and Privacy (CrySP) • The Evolution of Differentially Private Clustering | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Software Engineering • Trade-offs in Generic Programming: A Cross-Language Performance Study | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Explainable AI • Atomic Explanations for Retrieval-Augmented LLM Systems | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Cryptography, Security, and Privacy (CrySP) • Parallel Efficient Secure DBSCAN Approximation | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Machine Learning • Talk, Judge, Cooperate: Gossip-Driven Indirect Reciprocity in Self-Interested LLM Agents | Cheriton School of Computer Science | University of Waterloo PhD Defence • Programming Languages • Design and Implementation of Probabilistic Programming Languages for Sound and Scalable Inference | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Machine Learning • Basis Transformers for Multi-Task Tabular Regression | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Data Systems • LLM-Based Frameworks for Information Retrieval Evaluation | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Programming Languages • C∀ Collection Library | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Human–Computer Interaction • DuckDuckTalk: Conversational Agent Teams to Support Active Externalization during Collaborative Data Analysis | Cheriton School of Computer Science | University of Waterloo PhD Defence • Data Systems • Development and Evaluation of Assistive AI Systems for Assessing News Trustworthiness | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Software Engineering • Does Impact Analysis Support the Review of Changes to Build Specifications? | Cheriton School of Computer Science | University of Waterloo PhD Defence • Bioinformatics • Deep Learning for Accurate and Reliable De Novo Peptide Sequencing: From Missing Fragmentation to Open Modification Discovery | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Computer Algebra | Symbolic Computation • Signature-based Gröbner basis Algorithms for Determinantal Ideals | Cheriton School of Computer Science | University of Waterloo DLS: Gilles Brassard — Alan Turing and me | Cheriton School of Computer Science | University of Waterloo Rhetoricon Symposium: Figures & Constructions, Constructions & Figures | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Systems and Networking • Attacks on Approximate Caches in Text-to-Image Diffusion Models | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Data Systems • Differentially Oblivious Multi-way Join | Cheriton School of Computer Science | University of Waterloo PhD Defence • Cryptography, Security, and Privacy (CrySP) • Assumption Stress-Testing for Machine Learning Security | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Machine Learning • Simulating the Lateral Reader with an Iterative Multi-Agent RAG System for News Trustworthiness Assessment | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Human–Computer Interaction • Investigating Osu!: Exploring a Community who Exhibit Extreme Input Performance | Cheriton School of Computer Science | University of Waterloo PhD Defence • Algorithms and Complexity • Towards Fast, Safe and Persistent Concurrent Data Structures for Non-experts | Cheriton School of Computer Science | University of Waterloo PhD Defence • Algorithms and Complexity • The Sample Complexity of Differentially Private Statistical Estimation | Cheriton School of Computer Science | University of Waterloo PhD Defence • Cryptography, Security, and Privacy (CrySP) • Evolving Trade-offs Towards Deployable Private Systems for Data Science | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Cryptography, Security, and Privacy (CrySP) • Selective MPC: Distributed Computation of Differentially Private Key-Value Statistics | Cheriton School of Computer Science | University of Waterloo PhD Defence • Quantum Computing • Circuits, Codes and Capacity | Cheriton School of Computer Science | University of Waterloo PhD Defence • Cryptography, Security, and Privacy (CrySP) • Deployment Concerns in Machine Learning Systems: Unintended Interactions and Accountability | Cheriton School of Computer Science | University of Waterloo PhD Defence • Systems and Networking • Efficient High-precision Monitoring of Network Slices for 5G and Beyond Networks | Cheriton School of Computer Science | University of Waterloo
PhD Seminar • Data System • Diversed Model Discovery via Structured Table Discovery | Cheriton School of Computer Science | University of Waterloo
Joe Petrik · 2026-06-02 · via Cheriton School of Computer Science

Please note: This PhD seminar will take place in DC 3301.

Zhengyuan Dong, PhD candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Renée J. Miller

Model cards describe model behavior through a mixture of textual descriptions and structured artifacts, including performance, configuration, and dataset tables. Existing model search systems rely predominantly on semantic similarity over text, which can produce homogeneous result sets and limit exploration of alternatives. We argue that model search is inherently comparative: users want models that are task-aligned yet differentiated in measurable ways. We hypothesize that this balance requires retrieval over condensed, high-quality evidence rather than verbose descriptions, and much of that evidence is concentrated in structured tables.

We present StructuredSemanticSearch, a table-driven model search framework built on the ModelTables benchmark. Given a query, StructuredSemanticSearch combines a semantic baseline for task alignment with a structure-aware pipeline that discovers query-related model-card tables using table discovery operators such as unionability, joinability, and keyword search. Retrieved tables are mapped back to model cards under a controlled top-k budget, enabling fair comparison between text-based and table-based retrieval. Beyond retrieval, StructuredSemanticSearch adapts table integration to the model-table domain through orientation-aware integration, producing compact integrated views of tables from partially overlapping and sometimes transposed evidence tables. For evaluation, we introduce a nugget-based, auditable protocol that extracts compact evidence items from model cards, matches queries to condition- or intent-specific nuggets, and measures evidence coverage and diversity over retrieved model-card candidate sets. This protocol also provides a scalable path toward approximate, evidence-based labeling in dynamic model lakes. Experiments on 597 model-recommendation queries show improved nugget coverage for the structure-aware pipeline than semantic baseline.