← Search

Aidong Zhang

39 accepted papers

2026

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics

ICML 2026poster

While the ecosystem of Lean and Mathlib has enjoyed celebrated success in formal mathematical reasoning with the help of large language models (LLMs), the absence of many folklore lemmas in Mathlib remains a persistent barrier that limits Lean's usability as an everyday tool for mathematicians like …

Cited by 0SourceScholar
2026

SAGE: Spuriousness-Aware Guided Prompt Exploration for Mitigating Multimodal Bias

AAAI 2026technical

Large vision-language models such as CLIP have shown strong zero-shot classification performance by aligning images and text in a shared embedding space. However, CLIP models often develop multimodal spurious biases, the undesirable tendency to rely on spurious features. For example, CLIP may infer

Cited by 0SourcePDFScholar
2026

SlideBot: A Multi-Agent Framework for Generating Informative, Reliable, Multi-Modal Presentations

AAAI 2026technical

Large Language Models (LLMs) have shown immense potential in education, automating tasks like quiz generation and content summarization. However, generating effective presentation slides introduces unique challenges due to the complexity of multimodal content creation and the need for precise, domai

Cited by 0SourcePDFScholar
2026

Toward Faithful Retrieval-Augmented Generation with Sparse Autoencoders

ICLR 2026poster

Retrieval-Augmented Generation (RAG) improves the factuality of large language models (LLMs) by grounding outputs in retrieved evidence, but faithfulness failures, where generations contradict or extend beyond the provided sources, remain a critical challenge. Existing hallucination detection method…

Cited by 0SourcecodeScholar
2025

ASCENT-ViT: Attention-based Scale-aware Concept Learning Framework for Enhanced Alignment in Vision Transformers

IJCAI 2025

As Vision Transformers (ViTs) are increasingly adopted in sensitive vision applications, there is a growing demand for improved interpretability. This has led to efforts to forward-align these models with carefully annotated abstract, human-understandable semantic entities - concepts. Concepts provi

2025

COCO-Tree: Compositional Hierarchical Concept Trees for Enhanced Reasoning in Vision-Language Models

EMNLP 2025

Compositional reasoning remains a persistent weakness of modern vision language models (VLMs): they often falter when a task hinges on understanding how multiple objects, attributes, and relations interact within an image. Multiple research works have attempted to improve compositionality performanc

Cited by 0SourcePDFScholar
2025

GCAV: A Global Concept Activation Vector Framework for Cross-Layer Consistency in Interpretability

ICCV 2025poster

Concept Activation Vectors (CAVs) provide a powerful approach for interpreting deep neural networks by quantifying their sensitivity to human-defined concepts. However, when computed independently at different layers, CAVs often exhibit inconsistencies, making cross-layer comparisons unreliable. To…

2025

InfAL: Inference Time Adversarial Learning for Improving Research Ideation

EMNLP 2025

Advancements in Large Language Models (LLMs) have opened new opportunities for scientific discovery by assisting researchers in generating novel hypotheses and ideas. In this process, a major challenge is how to optimally and efficiently utilize LLMs’ parametric knowledge obtained from their pretrai

Cited by 0SourcePDFScholar
2025

MedCite: Can Language Models Generate Verifiable Text for Medicine?

ACL 2025finding

Existing LLM-based medical question answering systems lack citation generation and evaluation capabilities, raising concerns about their adoption in practice. In this work, we introduce MedCite, the first end-to-end framework that facilitates the design and evaluation of LLM citations for medical ta…

2025

Toward Reliable Scientific Hypothesis Generation: Evaluating Truthfulness and Hallucination in Large Language Models

IJCAI 2025

Large language models (LLMs) have shown significant potential in scientific disciplines such as biomedicine, particularly in hypothesis generation, where they can analyze vast literature, identify patterns, and suggest research directions. However, a key challenge lies in evaluating the truthfulness

2024

A Self-explaining Neural Architecture for Generalizable Concept Learning

IJCAI 2024poster

With the wide proliferation of Deep Neural Networks in high-stake applications, there is a growing demand for explainability behind their decision-making process. Concept learning models attempt to learn high-level 'concepts' - abstract entities that align with human understanding, and thus provide…

2024

AdvST: Revisiting Data Augmentations for Single Domain Generalization

AAAI 2024technical

Single domain generalization (SDG) aims to train a robust model against unknown target domain shifts using data from a single source domain. Data augmentation has been proven an effective approach to SDG. However, the utility of standard augmentations, such as translate, or invert, has not been full…

2024

Benchmarking Retrieval-Augmented Generation for Medicine

ACL 2024findings

While large language models (LLMs) have achieved state-of-the-art performance on a wide range of medical question answering (QA) tasks, they still face challenges with hallucinations and outdated knowledge. Retrieval-augmented generation (RAG) is a promising solution and has been widely adopted. How…

2024

Generalizing to Unseen Domains via Text-guided Augmentation

ECCV 2024poster

"To avoid the high cost of collecting visual data from all test domains in the domain adaptation task, recent work takes advantage of the pre-trained large-scale vision language models and augment training data with only text descriptions (e.g.,“a photo/painting/sketch...”) of each test domain. Howe…

Cited by 0SourcePDFScholar
2024

Learning Robust Classifiers with Self-Guided Spurious Correlation Mitigation

IJCAI 2024poster

Deep neural classifiers tend to rely on spurious correlations between spurious attributes of inputs and targets to make predictions, which could jeopardize their generalization capability. Training classifiers robust to spurious correlations typically relies on annotations of spurious correlations i…

2024

MedCalc-Bench: Evaluating Large Language Models for Medical Calculations

NeurIPS 2024oral

Current benchmarks for evaluating large language models (LLMs) in medicine are primarily focused on question-answering involving domain knowledge and descriptive reasoning. While such qualitative capabilities are vital to medical diagnosis, in real-world scenarios, doctors frequently use clinical ca…

2024

On Disentanglement of Asymmetrical Knowledge Transfer for Modality-Task Agnostic Federated Learning

AAAI 2024technical

There has been growing concern regarding data privacy during the development and deployment of Multimodal Foundation Models for Artificial General Intelligence (AGI), while Federated Learning (FL) allows multiple clients to collaboratively train models in a privacy-preserving manner. This paper form…

Cited by 9SourcePDFScholar
2023

Federated Conditional Stochastic Optimization

NeurIPS 2023poster

Conditional stochastic optimization has found applications in a wide range of machine learning tasks, such as invariant learning, AUPRC maximization, and meta-learning. As the demand for training models with large-scale distributed data grows in these applications, there is an increasing need for co…

Cited by 12SourcePDFScholar
2023

On Task-personalized Multimodal Few-shot Learning for Visually-rich Document Entity Retrieval

EMNLP 2023long findings

Visually-rich document entity retrieval (VDER), which extracts key information (e.g. date, address) from document images like invoices and receipts, has become an important topic in industrial NLP applications. The emergence of new document types at a constant pace, each with its unique entity types…

Cited by 0SourceScholar
2023

Solving a Class of Non-Convex Minimax Optimization in Federated Learning

NeurIPS 2023poster

The minimax problems arise throughout machine learning applications, ranging from adversarial training and policy evaluation in reinforcement learning to AUROC maximization. To address the large-scale distributed data challenges across multiple clients with communication-efficient distributed traini…

2023

Understanding and Enhancing Robustness of Concept-Based Models

AAAI 2023technical

Rising usage of deep neural networks to perform decision making in critical applications like medical diagnosis and fi- nancial analysis have raised concerns regarding their reliability and trustworthiness. As automated systems become more mainstream, it is important their decisions be transparent,…

2022

CLEAR: Generative Counterfactual Explanations on Graphs

NeurIPS 2022accept

Counterfactual explanations promote explainability in machine learning models by answering the question “how should the input instance be altered to obtain a desired predicted label?". The comparison of this instance before and after perturbation can enhance human interpretation. Most existing studi…

Cited by 73SourcePDFScholar
2022

Towards Automating Model Explanations with Certified Robustness Guarantees

AAAI 2022technical

Providing model explanations has gained significant popularity recently. In contrast with the traditional feature-level model explanations, concept-based explanations can provide explanations in the form of high-level human concepts. However, existing concept-based explanation methods implicitly fol…

Cited by 16SourcePDFScholar
2021

Autonomous Navigation for Adaptive Unmanned Underwater Vehicles Using Fiducial Markers

ICRA 2021poster

This paper presents an integrated methodology and experimental validation of an autonomous framework for unmanned underwater vehicles (UUVs) merely equipped with a conventional monocular camera and a pressure sensor to accomplish high-performance autonomy. Optimal pose of the UUV is solved iterative…

Cited by 24SourceScholar
2021

Design and Implementation of a Novel, Intrinsically Safe Rigid-Flexible Coupling Manipulator for COVID-19 Oropharyngeal Swab Sampling

ICRA 2021poster

Driven by the SARS-CoV-2 pandemic, demand for oropharyngeal swab sampling (OP-swabs) is surging. However, medical staff can easily become infected by the virus during the sampling process. In an effort to combat this, we developed a novel, intrinsically safe rigid- flexible coupling (RFC) manipulato…

Cited by 10SourceScholar
2021

Design of a Large-scale Electrically-actuated Quadruped Robot and Locomotion Control for the Narrow Passage

IROS 2021poster

With the gradual maturity of the software and hardware of quadruped robots, the application scenarios of quadruped robots are increasing, such as security, rescue, exploration and other tasks. Quadruped robots are flexible and adaptive to challenging or complex environment. This study presents a lar…

Cited by 10SourceScholar
2021

Design of a deployable underwater robot for the recovery of autonomous underwater vehicles based on origami technique

ICRA 2021poster

The recovery of autonomous underwater vehicles (AUVs) has been a challenging mission due to the limited localization accuracy and movement capability of the AUVs. To overcome these limitations, we propose a novel design of a deployable underwater robot (DUR) for the recovery mission. Utilizing the o…

Cited by 0SourceScholar
2021

Multi-Cause Effect Estimation with Disentangled Confounder Representation

IJCAI 2021poster

One fundamental problem in causality learning is to estimate the causal effects of one or multiple treatments (e.g., medicines in the prescription) on an important outcome (e.g., cure of a disease). One major challenge of causal effect estimation is the existence of unobserved confounders -- the uno…

Cited by 15SourcePDFScholar
2020

Optimized Foothold Planning and Posture Searching for Energy-Efficient Quadruped Locomotion over Challenging Terrains

ICRA 2020poster

Energy-efficient locomotion is of primary importance for legged robot to extend operation time in practical applications. This paper presents an approach to achieve energy-efficient locomotion for a quadrupedal robot walking over challenging terrains. Firstly, we optimize the nominal stance paramete…

Cited by 14SourceScholar
2019

Joint Torque Estimation toward Dynamic and Compliant Control for Gear-Driven Torque Sensorless Quadruped Robot

IROS 2019poster

This paper investigates dynamic and compliant control based on joint output torque estimation for electrically actuated quadruped robots with large-reduction-ratio harmonic gear. Compared with position control, force control exhibits better performance of dynamics and compliance for the robot's inte…

Cited by 29SourceScholar
2018

Representation Learning for Treatment Effect Estimation from Observational Data

NeurIPS 2018poster

Estimating individual treatment effect (ITE) is a challenging problem in causal inference, due to the missing counterfactuals and the selection bias. Existing ITE estimation methods mainly focus on balancing the distributions of control and treated groups, but ignore the local similarity information…