pith. sign in

Qiaochu Chen

Identifiers

  • name variant Qiaochu Chen 0.60 · backfill

Papers (12)

  1. Active Learning for Neurosymbolic Program Synthesis cs.PL · 2025 · author #2
  2. Automated Discovery of Tactic Libraries for Interactive Theorem Proving cs.PL · 2025 · author #5
  3. PhotoScout: Synthesis-Powered Multi-Modal Image Search cs.HC · 2024 · author #2
  4. Data Extraction via Semantic Regular Expression Synthesis cs.PL · 2023 · author #1
  5. SatLM: Satisfiability-Aided Language Models Using Declarative Prompting cs.CL · 2023 · author #2
  6. ImageEye: Batch Image Processing Using Program Synthesis cs.PL · 2023 · author #2
  7. Type-Directed Synthesis of Visualizations from Natural Language Queries cs.PL · 2022 · author #1
  8. Web Question Answering with Neurosymbolic Program Synthesis cs.PL · 2021 · author #1
  9. Optimal Neural Program Synthesis from Multimodal Specifications cs.CL · 2020 · author #2
  10. Benchmarking Multimodal Regex Synthesis with Complex Structures cs.CL · 2020 · author #2
  11. Sketch-Driven Regular Expression Generation from Natural Language and Examples cs.CL · 2019 · author #2
  12. Multi-modal Synthesis of Regular Expressions cs.PL · 2019 · author #1

Mentions

  • 2508.15750 #2 · arxiv_oai · confidence 0.70 Qiaochu Chen
  • 2503.24036 #5 · arxiv_oai · confidence 0.70 Qiaochu Chen
  • 2401.10464 #2 · arxiv_oai · confidence 0.70 Qiaochu Chen
  • 2305.09656 #2 · arxiv_oai · confidence 0.70 Qiaochu Chen
  • 2305.10401 #1 · arxiv_oai · confidence 0.70 Qiaochu Chen
  • 2304.03253 #2 · arxiv_oai · confidence 0.70 Qiaochu Chen
  • 2209.01081 #1 · arxiv_oai · confidence 0.70 Qiaochu Chen
  • 2010.01678 #2 · arxiv_oai · confidence 0.70 Qiaochu Chen
  • 2104.07162 #1 · arxiv_oai · confidence 0.70 Qiaochu Chen
  • 1908.05848 #2 · arxiv_oai · confidence 0.70 Qiaochu Chen
  • 2005.00663 #2 · arxiv_oai · confidence 0.70 Qiaochu Chen
  • 1908.03316 #1 · arxiv_oai · confidence 0.70 Qiaochu Chen

Frequent Coauthors