Papers with DAP
Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4 (2026.acl-long)
Copied to clipboard
Chengwu Liu, Yichun Yin, Ye Yuan, Jiaxuan Xie, Botao Li, Siqi Li, Jianhao Shen, Yan Xu, Lifeng Shang, Ming Zhang
| Challenge: | Existing approaches to solving mathematical problems fall into two broad categories: informal methods and formal methods. |
| Approach: | They propose to use LLM natural-language reasoning to discover answers . they introduce Discover And Prove framework that rewrites Hard Mode statements into Easy Mode ones for existing ATP provers. |
| Outcome: | The proposed framework can be used to prove hard mode statements on ATP benchmarks. |
Dual-Alignment Pre-training for Cross-lingual Sentence Embedding (2023.acl-long)
Copied to clipboard
Ziheng Li, Shaohan Huang, Zihan Zhang, Zhi-Hong Deng, Qiang Lou, Haizhen Huang, Jian Jiao, Furu Wei, Weiwei Deng, Qi Zhang
| Challenge: | Recent studies have shown that dual encoder models trained with the sentence-level translation ranking task are effective methods for cross-lingual sentence embedding. |
| Approach: | They propose a dual-alignment pre-training framework that incorporates both sentence-level and token-level alignment. |
| Outcome: | The proposed framework improves cross-lingual sentence embedding on three cross-linguistic benchmarks. |
Low-Resource Comparative Opinion Quintuple Extraction by Data Augmentation with Prompting (2023.findings-emnlp)
Copied to clipboard
| Challenge: | Comparative Opinion Quintuple Extraction (COQE) aims to predict comparative opinion quintuples from comparative sentences. |
| Approach: | They propose a low-resource approach to extract comparative opinion quintuples from comparative sentences . they propose augmentation using ChatGPT and a data-centric approach . |
| Outcome: | The proposed approach improves the existing pipeline-based method and achieves state-of-the-art results. |
GenPoE: Generative Passage-level Mixture of Experts for Knowledge Enhancement of LLMs (2025.findings-emnlp)
Copied to clipboard
| Challenge: | GenPoE is a passage-level mixture of experts for enhancing knowledge of large language models. |
| Approach: | They propose a novel “generative” passage-level mixture of experts (MoEs) that takes in-context retrieved passages and generates their “expert” parameters. |
| Outcome: | The proposed system is based on a novel hypernetwork which takes in-context retrieved passages and generates their "expert'' parameters. |
Relevance Is a Guiding Light: Relevance-aware Adaptive Learning for End-to-end Task-oriented Dialogue System (2024.emnlp-main)
Copied to clipboard
| Challenge: | Existing approaches to training task-oriented dialogue systems struggle with the Distractive Attributes Problem (DAP) Existing methods struggle to deal with false but similar knowledge (hard negative entities) |
| Approach: | They propose a two-stage training framework that eliminates hard negatives step-by-step and aligns retrieval with generation. |
| Outcome: | The proposed method eliminates hard negatives step-by-step and aligns retrieval with generation. |
Zero-Shot Entity Linking by Reading Entity Descriptions (P19-1)
Copied to clipboard
| Challenge: | Existing approaches to link entities to unseen entities require in-domain labeled data. |
| Approach: | They propose a zero-shot entity linking task where mentions must be linked to unseen entities without in-domain labeled data. |
| Outcome: | The proposed task can generalize to unseen entities without metadata or alias tables . the proposed system improves over baselines, including BERT, on a new dataset . |
BPO: Staying Close to the Behavior LLM Creates Better Online LLM Alignment (2024.emnlp-main)
Copied to clipboard
| Challenge: | Existing offline DAP methods for aligning large language models with human preference are computationally expensive due to their two-stage training pipeline that consists of a reward modeling phase. |
| Approach: | They propose to align large language models to human desiderata from offline preference datasets by using an online approach. |
| Outcome: | The proposed approach improves performance across a wide range of tasks when training with the same amount of preference data. |
DoMIX: An Efficient Framework for Exploiting Domain Knowledge in Fine-Tuning (2025.acl-long)
Copied to clipboard
| Challenge: | Existing methods for domain-adaptive pre-training (DAP) face several limitations: high computational cost and GPU memory usage during training; and lack of generalized model for all end tasks. |
| Approach: | They propose a domain-adaptive pre-training (DAP) method that uses a representative parameter-efficient fine-tuning method to provide pre-trained models for specific tasks. |
| Outcome: | The proposed method can be extended beyond the DAP setting to standard LLM fine-tuning scenarios. |