Picture for Qiaochu Chen

Qiaochu Chen

Satisfiability-Aided Language Models Using Declarative Prompting

Add code
May 17, 2023
Viaarxiv icon

ImageEye: Batch Image Processing Using Program Synthesis

Add code
Apr 10, 2023
Viaarxiv icon

Optimal Neural Program Synthesis from Multimodal Specifications

Add code
Oct 04, 2020
Figure 1 for Optimal Neural Program Synthesis from Multimodal Specifications
Figure 2 for Optimal Neural Program Synthesis from Multimodal Specifications
Figure 3 for Optimal Neural Program Synthesis from Multimodal Specifications
Figure 4 for Optimal Neural Program Synthesis from Multimodal Specifications
Viaarxiv icon

Benchmarking Multimodal Regex Synthesis with Complex Structures

Add code
May 02, 2020
Figure 1 for Benchmarking Multimodal Regex Synthesis with Complex Structures
Figure 2 for Benchmarking Multimodal Regex Synthesis with Complex Structures
Figure 3 for Benchmarking Multimodal Regex Synthesis with Complex Structures
Figure 4 for Benchmarking Multimodal Regex Synthesis with Complex Structures
Viaarxiv icon

Sketch-Driven Regular Expression Generation from Natural Language and Examples

Add code
Aug 16, 2019
Figure 1 for Sketch-Driven Regular Expression Generation from Natural Language and Examples
Figure 2 for Sketch-Driven Regular Expression Generation from Natural Language and Examples
Figure 3 for Sketch-Driven Regular Expression Generation from Natural Language and Examples
Figure 4 for Sketch-Driven Regular Expression Generation from Natural Language and Examples
Viaarxiv icon