Yongchao Chen
6 papers · 2023–2025 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
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)
Papers
CRAB: Cross-environment Agent Benchmark for Multimodal Language Model Agents
ACL 2025
Steering Large Language Models between Code Execution and Textual Reasoning
ICLR 2025
CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
ICML 2025
Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools
NAACL 2025
PRompt Optimization in Multi-Step Tasks (PROMST): Integrating Human Feedback and Heuristic-based Sampling
EMNLP 2024
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models
EMNLP 2023