Yongchao Chen
7 papers · 2023–2026 · 6 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 · Silver
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(14)
🐣
Hot Topic Early Bird
Top co-authors
Research topics
Keywords
large language model
(2)
multi-agent system
(2)
code generation
(1)
constrained optimization
(1)
formal verification
(1)
constraint satisfaction
(1)
satisfiability problem
(1)
human feedback
(1)
autonomous agent
(1)
vision-language model
(1)
zero-shot generalization
(1)
temporal logic
(1)
formal specification
(1)
prompt optimization
(1)
multimodal language model
(1)
zero-shot classification
(1)
discrete prompt
(1)
heuristic method
(1)
subspace projection
(1)
sequence to sequence
(1)
Papers
Bias Is a Subspace, Not a Coordinate: A Geometric Rethinking of Post-hoc Debiasing in Vision-Language Models
CVPR 2026
CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
ICML 2025
CRAB: Cross-environment Agent Benchmark for Multimodal Language Model Agents
ACL 2025
Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools
NAACL 2025
Steering Large Language Models between Code Execution and Textual Reasoning
ICLR 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