Audio-Visual Emotion Recognition Based on a DBN Model with Constrained Asynchrony. - Danqi Chen 001; Dongmei Jiang; Ilse Ravyse; Hichem Sahli (ICIG, 2009)

PhenOMIM: An OMIM-based secondary database purported for phenotypic comparison. - Han J. W. van Triest; Danqi Chen 001; Xinglai Ji; Shouliang Qi; Jesse Li-Ling (EMBC, 2011)

Characterizing Inverse Time Dependency in Multi-class Learning. - Danqi Chen 001; Weizhu Chen; Qiang Yang 001 (ICDM, 2011)

Beyond ten blue links: enabling user click modeling in federated web search. - Danqi Chen 001; Weizhu Chen; Haixun Wang; Zheng Chen 001; Qiang Yang 001 (WSDM, 2012)

Reasoning With Neural Tensor Networks for Knowledge Base Completion. - Richard Socher; Danqi Chen 001; Christopher D. Manning; Andrew Y. Ng (NIPS, 2013)

Learning New Facts From Knowledge Bases With Neural Tensor Networks and Semantic Word Vectors - Danqi Chen 001; Richard Socher; Christopher D. Manning; Andrew Y. Ng (ICLR (Workshop Poster), 2013)

A Fast and Accurate Dependency Parser using Neural Networks. - Danqi Chen 001; Christopher D. Manning (EMNLP, 2014)

Observed versus latent features for knowledge base and text inference. - Kristina Toutanova; Danqi Chen 001 (CVSC, 2015)

Representing Text for Joint Embedding of Text and Knowledge Bases. - Kristina Toutanova; Danqi Chen 001; Patrick Pantel; Hoifung Poon; Pallavi Choudhury; Michael Gamon (EMNLP, 2015)

Bootstrapped Self Training for Knowledge Base Population. - Gabor Angeli; Victor Zhong; Danqi Chen 001; Arun Tejasvi Chaganty; Jason Bolton; Melvin Jose Johnson Premkumar; Panupong Pasupat; Sonal Gupta; Christopher D. Manning (TAC, 2015)

A Thorough Examination of the CNN/Daily Mail Reading Comprehension Task. - Danqi Chen 001; Jason Bolton; Christopher D. Manning (ACL (1), 2016)

A secure data allocation solution for heterogeneous Hadoop systems: SecHDFS. - Bowen Tian; Yun Tian; Yijie Sun; Trevor Hurt; Brandon Huebert; Waymon Ho; Yuting Zhang; Danqi Chen 001 (IPCCC, 2016)

SecHDFS: A Secure Data Allocation Scheme for Heterogenous Hadoop Systems. - Bowen Tian; Yun Tian; Brandon Huebert; Yijie Sun; Trevor Hurt; Waymon Ho; Yuting Zhang; Danqi Chen 001; HwaSung Lee (NAS, 2016)

Stanford at TAC KBP 2016: Sealing Pipeline Leaks and Understanding Chinese. - Yuhao Zhang 004; Arun Tejasvi Chaganty; Ashwin Paranjape; Danqi Chen 001; Jason Bolton; Peng Qi 003; Christopher D. Manning (TAC, 2016)

Reading Wikipedia to Answer Open-Domain Questions. - Danqi Chen 001; Adam Fisch; Jason Weston; Antoine Bordes (ACL (1), 2017)

Position-aware Attention and Supervised Data Improve Slot Filling. - Yuhao Zhang 004; Victor Zhong; Danqi Chen 001; Gabor Angeli; Christopher D. Manning (EMNLP, 2017)

Neural reading comprehension and beyond. - Danqi Chen 001 (2018)

MRQA 2019 Shared Task: Evaluating Generalization in Reading Comprehension. - Adam Fisch; Alon Talmor; Robin Jia; Minjoon Seo; Eunsol Choi; Danqi Chen 001 (MRQA@EMNLP, 2019)

A Discrete Hard EM Approach for Weakly Supervised Question Answering. - Sewon Min; Danqi Chen 001; Hannaneh Hajishirzi; Luke Zettlemoyer (EMNLP/IJCNLP (1), 2019)

RoBERTa: A Robustly Optimized BERT Pretraining Approach. - Yinhan Liu; Myle Ott; Naman Goyal 001; Jingfei Du; Mandar Joshi; Danqi Chen 001; Omer Levy; Mike Lewis; Luke Zettlemoyer; Veselin Stoyanov (CoRR, 2019)

Knowledge Guided Text Retrieval and Reading for Open Domain Question Answering. - Sewon Min; Danqi Chen 001; Luke Zettlemoyer; Hannaneh Hajishirzi (CoRR, 2019)

CoQA: A Conversational Question Answering Challenge. - Siva Reddy; Danqi Chen 001; Christopher D. Manning (Trans. Assoc. Comput. Linguistics, 2019)

Open-Domain Question Answering. - Danqi Chen 001; Wen-tau Yih (ACL (tutorial), 2020)

TextHide: Tackling Data Privacy for Language Understanding Tasks. - Yangsibo Huang; Zhao Song 002; Danqi Chen 001; Kai Li 001; Sanjeev Arora (EMNLP (Findings), 2020)

Dense Passage Retrieval for Open-Domain Question Answering. - Vladimir Karpukhin; Barlas Oguz; Sewon Min; Patrick Lewis 001; Ledell Wu; Sergey Edunov; Danqi Chen 001; Wen-tau Yih (EMNLP (1), 2020)

NeurIPS 2020 EfficientQA Competition: Systems, Analyses and Lessons Learned. - Sewon Min; Jordan L. Boyd-Graber; Chris Alberti; Danqi Chen 001; Eunsol Choi; Michael Collins 001; Kelvin Guu; Hannaneh Hajishirzi; Kenton Lee; Jennimaria Palomaki; Colin Raffel; Adam Roberts; et al. (NeurIPS (Competition and Demos), 2020)

All-round and Accurate Online Education Model amid COVID19. - Danqi Chen 001 (WI/IAT, 2020)

Dense Passage Retrieval for Open-Domain Question Answering. - Vladimir Karpukhin; Barlas Oguz; Sewon Min; Ledell Wu; Sergey Edunov; Danqi Chen 001; Wen-tau Yih (CoRR, 2020)

A Frustratingly Easy Approach for Joint Entity and Relation Extraction. - Zexuan Zhong; Danqi Chen 001 (CoRR, 2020)

SpanBERT: Improving Pre-training by Representing and Predicting Spans. - Mandar Joshi; Danqi Chen 001; Yinhan Liu; Daniel S. Weld; Luke Zettlemoyer; Omer Levy (Trans. Assoc. Comput. Linguistics, 2020)

Making Pre-trained Language Models Better Few-shot Learners. - Tianyu Gao 001; Adam Fisch; Danqi Chen 001 (ACL/IJCNLP (1), 2021)

Learning Dense Representations of Phrases at Scale. - Jinhyuk Lee; Mujeen Sung; Jaewoo Kang; Danqi Chen 001 (ACL/IJCNLP (1), 2021)

Phrase Retrieval Learns Passage Retrieval, Too. - Jinhyuk Lee; Alexander Wettig; Danqi Chen 001 (AKBC, 2021)

Single-dataset Experts for Multi-dataset Question Answering. - Dan Friedman; Ben Dodge; Danqi Chen 001 (EMNLP (1), 2021)

SimCSE: Simple Contrastive Learning of Sentence Embeddings. - Tianyu Gao 001; Xingcheng Yao; Danqi Chen 001 (EMNLP (1), 2021)

Simple Entity-Centric Questions Challenge Dense Retrievers. - Christopher Sciavolino; Zexuan Zhong; Jinhyuk Lee; Danqi Chen 001 (EMNLP (1), 2021)

Non-Parametric Few-Shot Learning for Word Sense Disambiguation. - Howard Chen 003; Mengzhou Xia; Danqi Chen 001 (NAACL-HLT, 2021)

A Frustratingly Easy Approach for Entity and Relation Extraction. - Zexuan Zhong; Danqi Chen 001 (NAACL-HLT, 2021)

Factual Probing Is [MASK]: Learning vs. Learning to Recall. - Zexuan Zhong; Dan Friedman; Danqi Chen 001 (NAACL-HLT, 2021)

Ditch the Gold Standard: Re-evaluating Conversational Question Answering. - Huihan Li 001; Tianyu Gao 001; Manan Goenka; Danqi Chen 001 (ACL (1), 2022)

Structured Pruning Learns Compact and Accurate Models. - Mengzhou Xia; Zexuan Zhong; Danqi Chen 001 (ACL (1), 2022)

Finding Dataset Shortcuts with Grammar Induction. - Dan Friedman; Alexander Wettig; Danqi Chen 001 (EMNLP, 2022)

MABEL: Attenuating Gender Bias using Textual Entailment Data. - Jacqueline He; Mengzhou Xia; Christiane Fellbaum; Danqi Chen 001 (EMNLP, 2022)

Don't Prompt, Search! Mining-based Zero-Shot Learning with Language Models. - Mozes van de Kar; Mengzhou Xia; Danqi Chen 001; Mikel Artetxe (EMNLP, 2022)

Prompting ELECTRA: Few-Shot Learning with Discriminative Pre-Trained Models. - Mengzhou Xia; Mikel Artetxe; Jingfei Du; Danqi Chen 001; Veselin Stoyanov (EMNLP, 2022)

Generating Natural Language Proofs with Verifier-Guided Search. - Kaiyu Yang; Jia Deng 001; Danqi Chen 001 (EMNLP, 2022)

Training Language Models with Memory Augmentation. - Zexuan Zhong; Tao Lei; Danqi Chen 001 (EMNLP, 2022)

Can Rationalization Improve Robustness? - Howard Chen 003; Jacqueline He; Karthik Narasimhan; Danqi Chen 001 (NAACL-HLT, 2022)

Recovering Private Text in Federated Learning of Language Models. - Samyak Gupta; Yangsibo Huang; Zexuan Zhong; Tianyu Gao 001; Kai Li 001; Danqi Chen 001 (NeurIPS, 2022)

Refining Query Representations for Dense Retrieval at Test Time. - Mujeen Sung; Jungsoo Park; Jaewoo Kang; Danqi Chen 001; Jinhyuk Lee (CoRR, 2022)

Controllable Text Generation with Language Constraints. - Howard Chen 003; Huihan Li 001; Danqi Chen 001; Karthik Narasimhan (CoRR, 2022)

What In-Context Learning "Learns" In-Context: Disentangling Task Recognition and Task Learning. - Jane Pan; Tianyu Gao 001; Howard Chen 003; Danqi Chen 001 (ACL (Findings), 2023)

Measuring Inductive Biases of In-Context Learning with Underspecified Demonstrations. - Chenglei Si; Dan Friedman; Nitish Joshi; Shi Feng 005; Danqi Chen 001; He He 001 (ACL (1), 2023)

Optimizing Test-Time Query Representations for Dense Retrieval. - Mujeen Sung; Jungsoo Park; Jaewoo Kang; Danqi Chen 001; Jinhyuk Lee (ACL (Findings), 2023)

Training Trajectories of Language Models Across Scales. - Mengzhou Xia; Mikel Artetxe; Chunting Zhou; Xi Victoria Lin; Ramakanth Pasunuru; Danqi Chen 001; Luke Zettlemoyer; Veselin Stoyanov (ACL (1), 2023)

Retrieval-based Language Models and Applications. - Akari Asai; Sewon Min; Zexuan Zhong; Danqi Chen 001 (ACL (tutorial), 2023)

Should You Mask 15% in Masked Language Modeling? - Alexander Wettig; Tianyu Gao 001; Zexuan Zhong; Danqi Chen 001 (EACL, 2023)

Adapting Language Models to Compress Contexts. - Alexis Chevalier; Alexander Wettig; Anirudh Ajith; Danqi Chen 001 (EMNLP, 2023)

C-STS: Conditional Semantic Textual Similarity. - Ameet Deshpande; Carlos E. Jimenez; Howard Chen 003; Vishvak Murahari; Victoria Graf; Tanmay Rajpurohit; Ashwin Kalyan; Danqi Chen 001; Karthik Narasimhan (EMNLP, 2023)

Enabling Large Language Models to Generate Text with Citations. - Tianyu Gao 001; Howard Yen; Jiatong Yu; Danqi Chen 001 (EMNLP, 2023)

Privacy Implications of Retrieval-Based Language Models. - Yangsibo Huang; Samyak Gupta; Zexuan Zhong; Kai Li 001; Danqi Chen 001 (EMNLP, 2023)

Poisoning Retrieval Corpora by Injecting Adversarial Passages. - Zexuan Zhong; Ziqing Huang; Alexander Wettig; Danqi Chen 001 (EMNLP, 2023)

MQuAKE: Assessing Knowledge Editing in Language Models via Multi-Hop Questions. - Zexuan Zhong; Zhengxuan Wu; Christopher D. Manning; Christopher Potts; Danqi Chen 001 (EMNLP, 2023)

A Kernel-Based View of Language Model Fine-Tuning. - Sadhika Malladi; Alexander Wettig; Dingli Yu; Danqi Chen 001; Sanjeev Arora (ICML, 2023)

Learning Transformer Programs. - Dan Friedman; Alexander Wettig; Danqi Chen 001 (NeurIPS, 2023)

Fine-Tuning Language Models with Just Forward Passes. - Sadhika Malladi; Tianyu Gao 001; Eshaan Nichani; Alex Damian; Jason D. Lee; Danqi Chen 001; Sanjeev Arora (NeurIPS, 2023)

SIGIR 2023 Workshop on Retrieval Enhanced Machine Learning (REML @ SIGIR 2023). - Michael Bendersky; Danqi Chen 001; Fernando Diaz 001; Hamed Zamani (SIGIR, 2023)

CSTS: Conditional Semantic Textual Similarity. - Ameet Deshpande; Carlos E. Jimenez; Howard Chen 003; Vishvak Murahari; Victoria Graf; Tanmay Rajpurohit; Ashwin Kalyan; Danqi Chen 001; Karthik Narasimhan (CoRR, 2023)

Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models. - Aarohi Srivastava; Abhinav Rastogi; Abhishek Rao; Abu Awal Md Shoeb; Abubakar Abid; Adam Fisch; Adam R. Brown; Adam Santoro; Aditya Gupta; Adrià Garriga-Alonso; Agnieszka Kluska; Aitor Lewkowycz; et al. (Trans. Mach. Learn. Res., 2023)

The Heuristic Core: Understanding Subnetwork Generalization in Pretrained Language Models. - Adithya Bhaskar; Dan Friedman; Danqi Chen 001 (ACL (1), 2024)

Long-Context Language Modeling with Parallel Context Encoding. - Howard Yen; Tianyu Gao 001; Danqi Chen 001 (ACL (1), 2024)

LitSearch: A Retrieval Benchmark for Scientific Literature Search. - Anirudh Ajith; Mengzhou Xia; Alexis Chevalier; Tanya Goyal; Danqi Chen 001; Tianyu Gao 001 (EMNLP, 2024)

Catastrophic Jailbreak of Open-source LLMs via Exploiting Generation. - Yangsibo Huang; Samyak Gupta; Mengzhou Xia; Kai Li 001; Danqi Chen 001 (ICLR, 2024)

Detecting Pretraining Data from Large Language Models. - Weijia Shi; Anirudh Ajith; Mengzhou Xia; Yangsibo Huang; Daogao Liu; Terra Blevins; Danqi Chen 001; Luke Zettlemoyer (ICLR, 2024)

Sheared LLaMA: Accelerating Language Model Pre-training via Structured Pruning. - Mengzhou Xia; Tianyu Gao 001; Zhiyuan Zeng; Danqi Chen 001 (ICLR, 2024)

Evaluating Large Language Models at Evaluating Instruction Following. - Zhiyuan Zeng; Jiatong Yu; Tianyu Gao 001; Yu Meng 001; Tanya Goyal; Danqi Chen 001 (ICLR, 2024)

Language Models as Science Tutors. - Alexis Chevalier; Jiayi Geng; Alexander Wettig; Howard Chen 003; Sebastian Mizera; Toni Annala; Max Jameson Aragon; Arturo Rodríguez Fanlo; Simon Frieder; Simon Machado; Akshara Prabhakar; Ellie Thieu; et al. (ICML, 2024)

Interpretability Illusions in the Generalization of Simplified Models. - Dan Friedman; Andrew Kyle Lampinen; Lucas Dixon; Danqi Chen 001; Asma Ghandeharioun (ICML, 2024)

QuRating: Selecting High-Quality Data for Training Language Models. - Alexander Wettig; Aatmik Gupta; Saumya Malik; Danqi Chen 001 (ICML, 2024)

LESS: Selecting Influential Data for Targeted Instruction Tuning. - Mengzhou Xia; Sadhika Malladi; Suchin Gururangan; Sanjeev Arora; Danqi Chen 001 (ICML, 2024)

SimPO: Simple Preference Optimization with a Reference-Free Reward. - Yu Meng 001; Mengzhou Xia; Danqi Chen 001 (NeurIPS, 2024)

Finding Transformer Circuits With Edge Pruning. - Adithya Bhaskar; Alexander Wettig; Dan Friedman; Danqi Chen 001 (NeurIPS, 2024)

CharXiv: Charting Gaps in Realistic Chart Understanding in Multimodal LLMs. - Zirui Wang; Mengzhou Xia; Luxi He; Howard Chen 003; Yitao Liu; Richard Zhu; Kaiqu Liang; Xindi Wu; Haotian Liu; Sadhika Malladi; Alexis Chevalier; Sanjeev Arora; et al. (NeurIPS, 2024)

Language Models as Science Tutors. - Alexis Chevalier; Jiayi Geng; Alexander Wettig; Howard Chen 003; Sebastian Mizera; Toni Annala; Max Jameson Aragon; Arturo Rodríguez Fanlo; Simon Frieder; Simon Machado; Akshara Prabhakar; Ellie Thieu; et al. (CoRR, 2024)

Improving Language Understanding from Screenshots. - Tianyu Gao 001; Zirui Wang; Adithya Bhaskar; Danqi Chen 001 (CoRR, 2024)

Reliable, Adaptable, and Attributable Language Models with Retrieval. - Akari Asai; Zexuan Zhong; Danqi Chen 001; Pang Wei Koh; Luke Zettlemoyer; Hannaneh Hajishirzi; Wen-tau Yih (CoRR, 2024)

Foundational Challenges in Assuring Alignment and Safety of Large Language Models. - Usman Anwar; Abulhair Saparov; Javier Rando; Daniel Paleka; Miles Turpin; Peter Hase; Ekdeep Singh Lubana; Erik Jenner; Stephen Casper; Oliver Sourbut; Benjamin L. Edelman; Zhaowei Zhang; et al. (CoRR, 2024)

Lory: Fully Differentiable Mixture-of-Experts for Autoregressive Language Model Pre-training. - Zexuan Zhong; Mengzhou Xia; Danqi Chen 001; Mike Lewis (CoRR, 2024)

Certifiably Robust RAG against Retrieval Corruption. - Chong Xiang 001; Tong Wu; Zexuan Zhong; David A. Wagner 001; Danqi Chen 001; Prateek Mittal (CoRR, 2024)

AI Risk Management Should Incorporate Both Safety and Security. - Xiangyu Qi; Yangsibo Huang; Yi Zeng 005; Edoardo Debenedetti; Jonas Geiping; Luxi He; Kaixuan Huang; Udari Madhushani; Vikash Sehwag; Weijia Shi; Boyi Wei; Tinghao Xie; et al. (CoRR, 2024)

SORRY-Bench: Systematically Evaluating Large Language Model Safety Refusal Behaviors. - Tinghao Xie; Xiangyu Qi; Yi Zeng 005; Yangsibo Huang; Udari Madhushani Sehwag; Kaixuan Huang; Luxi He; Boyi Wei; Dacheng Li; Ying Sheng 007; Ruoxi Jia 001; Bo Li 026; et al. (CoRR, 2024)

HELMET: How to Evaluate Long-Context Language Models Effectively and Thoroughly. - Howard Yen; Tianyu Gao 001; Minmin Hou; Ke Ding; Daniel Fleischer; Peter Izsak; Moshe Wasserblat; Danqi Chen 001 (CoRR, 2024)

Continual Memorization of Factoids in Large Language Models. - Howard Chen 003; Jiayi Geng; Adithya Bhaskar; Dan Friedman; Danqi Chen 001 (CoRR, 2024)

Foundational Challenges in Assuring Alignment and Safety of Large Language Models. - Usman Anwar; Abulhair Saparov; Javier Rando; Daniel Paleka; Miles Turpin; Peter Hase; Ekdeep Singh Lubana; Erik Jenner; Stephen Casper; Oliver Sourbut; Benjamin L. Edelman; Zhaowei Zhang; et al. (Trans. Mach. Learn. Res., 2024)

How to Train Long-Context Language Models (Effectively). - Tianyu Gao 001; Alexander Wettig; Howard Yen; Danqi Chen 001 (ACL (1), 2025)

Fantastic Copyrighted Beasts and How (Not) to Generate Them. - Luxi He; Yangsibo Huang; Weijia Shi; Tinghao Xie; Haotian Liu; Yue Wang; Luke Zettlemoyer; Chiyuan Zhang; Danqi Chen 001; Peter Henderson 002 (ICLR, 2025)

Unintentional Unalignment: Likelihood Displacement in Direct Preference Optimization. - Noam Razin; Sadhika Malladi; Adithya Bhaskar; Danqi Chen 001; Sanjeev Arora; Boris Hanin (ICLR, 2025)

BRIGHT: A Realistic and Challenging Benchmark for Reasoning-Intensive Retrieval. - Hongjin Su; Howard Yen; Mengzhou Xia; Weijia Shi; Niklas Muennighoff; Han-yu Wang; Haisu Liu; Quan Shi; Zachary S. Siegel; Michael Tang; Ruoxi Sun 002; Jinsung Yoon; et al. (ICLR, 2025)

SORRY-Bench: Systematically Evaluating Large Language Model Safety Refusal. - Tinghao Xie; Xiangyu Qi; Yi Zeng 005; Yangsibo Huang; Udari Madhushani Sehwag; Kaixuan Huang; Luxi He; Boyi Wei; Dacheng Li; Ying Sheng 007; Ruoxi Jia 001; Bo Li 026; et al. (ICLR, 2025)

HELMET: How to Evaluate Long-context Models Effectively and Thoroughly. - Howard Yen; Tianyu Gao 001; Minmin Hou; Ke Ding; Daniel Fleischer; Peter Izsak; Moshe Wasserblat; Danqi Chen 001 (ICLR, 2025)

Representing Rule-based Chatbots with Transformers. - Dan Friedman; Abhishek Panigrahi; Danqi Chen 001 (NAACL (Long Papers), 2025)

Metadata Conditioning Accelerates Language Model Pre-training. - Tianyu Gao 001; Alexander Wettig; Luxi He; Yihe Dong; Sadhika Malladi; Danqi Chen 001 (CoRR, 2025)

LongProc: Benchmarking Long-Context Language Models on Long Procedural Generation. - Xi Ye; Fangcong Yin; Yinghui He; Joie Zhang; Howard Yen; Tianyu Gao 001; Greg Durrett; Danqi Chen 001 (CoRR, 2025)

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving. - Yong Lin; Shange Tang; Bohan Lyu 001; Jiayun Wu; Hongzhou Lin; Kaiyu Yang; Jia Li; Mengzhou Xia; Danqi Chen 001; Sanjeev Arora; Chi Jin 001 (CoRR, 2025)

Organize the Web: Constructing Domains Enhances Pre-Training Data Curation. - Alexander Wettig; Kyle Lo; Sewon Min; Hannaneh Hajishirzi; Danqi Chen 001; Luca Soldaini (CoRR, 2025)

The Deployment of End-to-End Audio Language Models Should Take into Account the Principle of Least Privilege. - Luxi He; Xiangyu Qi; Michel Liao; Inyoung Cheong; Prateek Mittal; Danqi Chen 001; Peter Henderson 002 (CoRR, 2025)

The Surprising Effectiveness of Negative Reinforcement in LLM Reasoning. - Xinyu Zhu; Mengzhou Xia; Zhepei Wei; Wei-Lin Chen; Danqi Chen 001; Yu Meng 001 (CoRR, 2025)

Precise Information Control in Long-Form Text Generation. - Jacqueline He; Howard Yen; Margaret Li; Shuyue Stella Li; Zhiyuan Zeng; Weijia Shi; Yulia Tsvetkov; Danqi Chen 001; Pang Wei Koh; Luke Zettlemoyer (CoRR, 2025)

Query-Focused Retrieval Heads Improve Long-Context Reasoning and Re-ranking. - Wuwei Zhang; Fangcong Yin; Howard Yen; Danqi Chen 001; Xi Ye (CoRR, 2025)

Cache Me If You Can: How Many KVs Do You Need for Effective Long-Context LMs? - Adithya Bhaskar; Alexander Wettig; Tianyu Gao 001; Yihe Dong; Danqi Chen 001 (CoRR, 2025)

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction. - Yong Lin; Shange Tang; Bohan Lyu 001; Ziran Yang; Jui-Hui Chung; Haoyu Zhao; Lai Jiang; Yihan Geng; Jiawei Ge 003; Jingruo Sun; Jiayun Wu; Jiri Gesi; et al. (CoRR, 2025)