Kaiyu Yang

Orcid: 0009-0002-4491-7235

According to our database1, Kaiyu Yang authored at least 25 papers between 2016 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Optimal Design of Linkage-Driven Underactuated Hand for Precise Pinching and Powerful Grasping.
IEEE Robotics Autom. Lett., 2024

Formal Mathematical Reasoning: A New Frontier in AI.
CoRR, 2024

Towards Large Language Models as Copilots for Theorem Proving in Lean.
CoRR, 2024

A Survey on Deep Learning for Theorem Proving.
CoRR, 2024

SciGLM: Training Scientific Language Models with Self-Reflective Instruction Annotation and Tuning.
CoRR, 2024

SciInstruct: a Self-Reflective Instruction Annotated Dataset for Training Scientific Language Models.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Towards Incorporating Personalized Context for Conversational Information Seeking.
Proceedings of the Workshop Information Retrieval's Role in RAG Systems (IR-RAG 2024) co-located with the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2024), 2024

Autoformalizing Euclidean Geometry.
Proceedings of the Forty-first International Conference on Machine Learning, 2024

An In-Depth Comparison of Neural and Probabilistic Tree Models for Learning-to-rank.
Proceedings of the Advances in Information Retrieval, 2024

2023
Learning Symbolic Rules for Reasoning in Quasi-Natural Language.
Trans. Mach. Learn. Res., 2023

University of Tsukuba Team at the TREC 2023 Interactive Knowledge Assistance Track.
Proceedings of the Thirty-Second Text REtrieval Conference Proceedings (TREC 2023), 2023

University of Tsukuba Team at the TREC 2023 Deep Learning Track.
Proceedings of the Thirty-Second Text REtrieval Conference Proceedings (TREC 2023), 2023

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Infinite Photorealistic Worlds Using Procedural Generation.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022
Neurosymbolic Machine Learning for Reasoning
PhD thesis, 2022

Bidding Agent Design in the LinkedIn Ad Marketplace.
CoRR, 2022

Grasp force optimization in the design of a humanoid dexterous hand fingertips.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2022

A Study of Face Obfuscation in ImageNet.
Proceedings of the International Conference on Machine Learning, 2022

Generating Natural Language Proofs with Verifier-Guided Search.
Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

2020
Strongly Incremental Constituency Parsing with Graph Neural Networks.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Rel3D: A Minimally Contrastive Benchmark for Grounding Spatial Relations in 3D.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Towards fairer datasets: filtering and balancing the distribution of the people subtree in the ImageNet hierarchy.
Proceedings of the FAT* '20: Conference on Fairness, 2020

2019
Learning to Prove Theorems via Interacting with Proof Assistants.
Proceedings of the 36th International Conference on Machine Learning, 2019

SpatialSense: An Adversarially Crowdsourced Benchmark for Spatial Relation Recognition.
Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision, 2019

2016
Stacked Hourglass Networks for Human Pose Estimation.
Proceedings of the Computer Vision - ECCV 2016, 2016


  Loading...