Ruichen Qiu
Orcid: 0009-0002-2835-4110
According to our database1,
Ruichen Qiu authored at least 5 papers
between 2024 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2026
Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving.
CoRR, March, 2026
2025
CoRR, March, 2025
Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025
2024
Proceedings of the Companion Proceedings of the ACM on Web Conference 2024, 2024