Large Language Model for OWL Proofs.

Hui Yang, Jiaoyan Chen, Uli Sattler

Browse the full WWW paper archive.