Quan, X., Gubelmann, R., & Freitas, A. (2026). Autoformalizing Argumentative Material Inferences. https://omanscience.com/en/articles/autoformalizing-argumentative-material-inferences