3 papers
cs.LG2025
Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification
Xingqi Lin, Liangyu Chen, Min Wu +2
Robustness verification is a promising technique for rigorously proving Recurrent Neural Networks (RNNs) robustly. A key challenge is to over-approximate the nonlinear activation f…
cs.CL2025
OmniEduBench: A Comprehensive Chinese Benchmark for Evaluating Large Language Models in Education
Min Zhang, Hao Chen, Wenqi Zhang +6
With the rapid development of large language models (LLMs), various LLM-based works have been widely applied in educational fields. However, most existing LLMs and their benchmarks…
cs.CY2025
ELMES: An Automated Framework for Evaluating Large Language Models in Educational Scenarios
Shou'ang Wei, Xinyun Wang, Shuzhen Bi +9
The emergence of Large Language Models (LLMs) presents transformative opportunities for education, generating numerous novel application scenarios. However, significant challenges…