Jingtao Xia

According to our database¹, Jingtao Xia authored at least 4 papers between 2013 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2021

Generalizable synthesis through unification.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

Occam Learning Meets Synthesis Through Unification.

[BibT_eX]

[DOI]

CoRR, 2021

2013

Non-linear complementary filter based upper limb motion tracking using wearable sensors.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2013

Jingtao Xia

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...