Peiyang Song

4 papers · 2023–2025 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (13) 🐣 Hot Topic Early Bird

Venues

EMNLP (2) ICLR (1) NeurIPS (1)

Top co-authors

Kenan Tang (1) Robert Joseph George (1) Alex Gu (1) Xifeng Yan (1) Haofei Yu (1) Pengrui Han (1) Animashree Anandkumar (1) Saad Godil (1) Mo Tiwari (1) Anima Anandkumar (1)

Research topics

Artificial Intelligence (4) Core AI (4) Machine Learning (3) Natural Language Processing (3) Learning Types (3) Resources & Methods (3) Learning Paradigms (2) Deep Learning (1) Applications (1) Models (1)

Keywords

large language model (3) proof assistant (2) machine translation (1) in-context learning (1) prompt engineering (1) inhibitory control (1) lifelong learning (1) pre-trained language model (1) retrieval-augmented generation (1) neural theorem proving (1) knowledge forgetting (1) premise selection (1) context-aware translation (1) idiom translation (1) reasoning task (1) cognitive ability (1) figurative language (1) formal theorem proving (1) cultural translation (1) cognitive abilities (1)

Papers

LeanAgent: Lifelong Learning for Formal Theorem Proving ICLR 2025 Creative and Context-Aware Translation of East Asian Idioms with GPT-4 EMNLP 2024 In-Context Learning May Not Elicit Trustworthy Reasoning: A-Not-B Errors in Pretrained Language Models EMNLP 2024 LeanDojo: Theorem Proving with Retrieval-Augmented Language Models NeurIPS 2023