C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Jingtao Xia
Publication Activity (10 Years)
Years Active: 2013-2023
Publications (10 Years): 4
Top Topics
Facial Expressions
Theorem Prover
Automatically Generating
Generation Process
Top Venues
CoRR
Proc. ACM Program. Lang.
NeurIPS
</>
Publications
</>
Kexun Zhang
,
Danqing Wang
,
Jingtao Xia
,
William Yang Wang
,
Lei Li
ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers.
CoRR
(2023)
Kexun Zhang
,
Danqing Wang
,
Jingtao Xia
,
William Yang Wang
,
Lei Li
ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers.
NeurIPS
(2023)
Ruyi Ji
,
Jingtao Xia
,
Yingfei Xiong
,
Zhenjiang Hu
Generalizable synthesis through unification.
Proc. ACM Program. Lang.
5 (OOPSLA) (2021)
Ruyi Ji
,
Jingtao Xia
,
Yingfei Xiong
,
Zhenjiang Hu
Occam Learning Meets Synthesis Through Unification.
CoRR
(2021)
Chieh Chien
,
Jingtao Xia
,
Oscar Santana
,
Yan Wang
,
Gregory J. Pottie
Non-linear complementary filter based upper limb motion tracking using wearable sensors.
ICASSP
(2013)