Kevin Ren
Orcid: 0000-0001-8348-022X
According to our database1,
Kevin Ren authored at least 13 papers
between 2021 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2026
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs.
CoRR, February, 2026
Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, 2026
2025
Proceedings of the 57th Annual ACM Symposium on Theory of Computing, 2025
Work Smarter Not Harder: Simple Imitation Learning with CS-PIBT Outperforms Large-Scale Imitation Learning for MAPF.
Proceedings of the IEEE International Conference on Robotics and Automation, 2025
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2025, 2025
2024
Proceedings of the Uncertainty in Artificial Intelligence, 2024
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024
2023
Quantum Inf. Comput., November, 2023
2022
SC2Net: A Novel Segmentation-Based Classification Network for Detection of COVID-19 in Chest X-Ray Images.
IEEE J. Biomed. Health Informatics, 2022
2021