Minrui Chen

Orcid: 0000-0002-5845-3200

Affiliations:

Kyushu University, Department of Information Science and Technology, Fukuoka, Japan

According to our database¹, Minrui Chen authored at least 2 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

SAPSE-Synergy: Balancing Formal Soundness and Empirical Coverage in Neural Theorem Proving.

[DOI]

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

MedMimic: Physician-Inspired Multimodal Fusion for Early Diagnosis of Fever of Unknown Origin.

[DOI]

CoRR, February, 2025