Minrui Chen

Orcid: 0000-0002-5845-3200

Affiliations:
  • Kyushu University, Department of Information Science and Technology, Fukuoka, Japan


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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
SAPSE-Synergy: Balancing Formal Soundness and Empirical Coverage in Neural Theorem Proving.
Proceedings of the Formal Methods - 27th International Symposium, 2026

2025
MedMimic: Physician-Inspired Multimodal Fusion for Early Diagnosis of Fever of Unknown Origin.
CoRR, February, 2025


  Loading...