Jingtao Xia

According to our database1, Jingtao Xia authored at least 5 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
There and Back Again: A Netlist's Tale with Much Egraphin'.
CoRR, 2024

2023
ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2021
Generalizable synthesis through unification.
Proc. ACM Program. Lang., 2021

Occam Learning Meets Synthesis Through Unification.
CoRR, 2021

2013
Non-linear complementary filter based upper limb motion tracking using wearable sensors.
Proceedings of the IEEE International Conference on Acoustics, 2013


  Loading...