An experimental pipeline for automated reasoning in natural language (short paper)
Tammet, Tanel
;
Järv, Priit
;
Verrev, Martin
;
Draheim, Dirk
Automated Deduction – CADE 29, 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings
2023
/
p. 509-521
https://doi.org/10.1007/978-3-031-38499-8_29
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85172178824&origin=inward&txGid=e3f85903ec6970d47780852bbabf4aa9
https://www.webofscience.com/wos/woscc/full-record/WOS:001156342400027