Qiaochu Chen
3 papers · 2020–2023 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Conference Polyglot (3) πΊοΈ Taxonomy Completionist (14) π§ Keyword Pioneer π Interdisciplinary Bridge π Cross-Pollinator (9)
π
Renaissance Researcher
(5)
π
Trend Setter
Conferences
ACL (1)
EMNLP (1)
NIPS (1)
Top co-authors
Keywords
multimodal learning
(2)
program synthesis
(2)
automated reasoning
(2)
constraint solving
(1)
semantic parsing
(1)
syntax parsing
(1)
natural language
(1)
regex synthesis
(1)
natural language description
(1)
multimodal synthesis
(1)
abstract syntax tree
(1)
large language model
(1)
neural network
(1)
automated theorem prover
(1)
natural language processing
(1)
declarative prompting
(1)
probabilistic grammar
(1)
theorem proving
(1)