APA (7th ed.) Citation

Quan, X., Valentino, M., Dennis, L. A., & Freitas, A. (2025). Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations.

Chicago Style (17th ed.) Citation

Quan, Xin, Marco Valentino, Louise A. Dennis, and André Freitas. Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations. 2025.

MLA (9th ed.) Citation

Quan, Xin, et al. Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations. 2025.