Cited By
View all- Song DXie XSong JZhu DHuang YJuefei-Xu FMa L(2024)LUNA: A Model-Based Universal Analysis Framework for Large Language ModelsIEEE Transactions on Software Engineering10.1109/TSE.2024.341192850:7(1921-1948)Online publication date: 1-Jul-2024
- Stogin JMali AGiles C(2024)A provably stable neural network Turing Machine with finite precision and timeInformation Sciences: an International Journal10.1016/j.ins.2023.120034658:COnline publication date: 12-Apr-2024
- Weiss GGoldberg YYahav E(2024)Extracting automata from recurrent neural networks using queries and counterexamples (extended version)Machine Language10.1007/s10994-022-06163-2113:5(2877-2919)Online publication date: 1-May-2024
- Show More Cited By