Yongchao Chen
6 papers
· 2023–2025
· 5 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(5)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🐝
Cross-Pollinator
(15)
Conferences
EMNLP (2)
ACL (1)
ICLR (1)
ICML (1)
NAACL (1)
Top co-authors
Keywords
large language model
(2)
constrained optimization
(1)
formal verification
(1)
constraint satisfaction
(1)
satisfiability problem
(1)
human feedback
(1)
autonomous agent
(1)
zero-shot generalization
(1)
temporal logic
(1)
formal specification
(1)
prompt optimization
(1)
multimodal language model
(1)
discrete prompt
(1)
heuristic method
(1)
sequence to sequence
(1)
multi-step task
(1)
llm agent
(1)
text-to-text transfer transformer
(1)
multi-agent system
(1)
heuristic sampling
(1)