Jimmy Xin

Orcid: 0009-0007-7293-6579

According to our database¹, Jimmy Xin authored at least 4 papers between 2023 and 2025.

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

2025

Automated Discovery of Tactic Libraries for Interactive Theorem Proving.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2025

2024

Programmatic Imitation Learning From Unlabeled and Noisy Demonstrations.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., June, 2024

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

2023

PLUNDER: Probabilistic Program Synthesis for Learning from Unlabeled and Noisy Demonstrations.

[BibT_eX]

[DOI]

CoRR, 2023

Jimmy Xin

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...