Jingtao Xia

Identifiers

• name variant Jingtao Xia 0.60 · backfill

Papers (3)

1. There and Back Again: A Netlist's Tale with Much Egraphin' cs.AR · 2024 · author #4
2. ALGO: Synthesizing Algorithmic Programs with LLM-Generated Oracle Verifiers cs.CL · 2023 · author #3
3. Occam Learning Meets Synthesis Through Unification cs.PL · 2021 · author #2

Mentions

• 2404.00786 #4 · arxiv_oai · confidence 0.70 Jingtao Xia
• 2305.14591 #3 · arxiv_oai · confidence 0.70 Jingtao Xia
• 2105.14467 #2 · arxiv_oai · confidence 0.70 Jingtao Xia

Frequent Coauthors

• Andrew Cheung 1 shared papers
• Chandrakana Nandi 1 shared papers
• Danqing Wang 1 shared papers
• Gus Henry Smith 1 shared papers
• Jonathan Balkind 1 shared papers
• Kexun Zhang 1 shared papers
• Lei Li 1 shared papers
• Ruyi Ji 1 shared papers
• Thanawat Techaumnuaiwit 1 shared papers
• Vishal Canumalla 1 shared papers
• William Yang Wang 1 shared papers
• Yingfei Xiong 1 shared papers
• Zachary D. Sisco 1 shared papers
• Zachary Tatlock 1 shared papers
• Zhenjiang Hu 1 shared papers