Peiyang Song
4 papers · 2023–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
π
Conference Polyglot
(3)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(11)
π§
Keyword Pioneer
π
Cross-Pollinator
(15)
Conferences
EMNLP (2)
ICLR (1)
NIPS (1)
Top co-authors
Keywords
large language model
(3)
machine translation
(1)
in-context learning
(1)
prompt engineering
(1)
inhibitory control
(1)
retrieval-augmented generation
(1)
pretrained language model
(1)
premise selection
(1)
context-aware translation
(1)
idiom translation
(1)
reasoning task
(1)
cognitive ability
(1)
figurative language
(1)
cultural translation
(1)
proof assistant
(1)
cognitive abilities
(1)
theorem proving
(1)
east asian language
(1)
Papers
LeanAgent: Lifelong Learning for Formal Theorem Proving
ICLR 2025
In-Context Learning May Not Elicit Trustworthy Reasoning: A-Not-B Errors in Pretrained Language Models
EMNLP 2024
Creative and Context-Aware Translation of East Asian Idioms with GPT-4
EMNLP 2024
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
NIPS 2023