Explore the NeLaMKRR 2025 workshop's investigation into embedding symbolic logic within transformer models to achieve provable logical consistency and interp...
Level: advanced
By Ha-Thanh Nguyen, Ken Satoh, Francesca Toni, Randy Goebel, Kostas Stathis
Category: research