यह शोधपत्र एक कंप्यूटर बीजगणित प्रणाली, एक एसएमटी सॉल्वर और एक टर्म रीराइटिंग सिस्टम को मिलाकर भौतिकी परीक्षा के ग्रेडिंग को स्वचालित करने की एक विधि प्रस्तुत करता है। छात्रों के उत्तरों से त्रुटियाँ दूर करने और उन्हें मशीन-पठनीय प्रारूप में पुनः लिखने के लिए एक बड़े पैमाने पर भाषा मॉडल (एलएलएम) का उपयोग किया जाता है। फिर इन उत्तरों की सटीकता का आकलन स्वचालित प्रमेय-सिद्धि तकनीकों (एसएमटी सॉल्विंग और भौतिकी की समस्याओं के लिए अनुकूलित एक टर्म रीराइटिंग सिस्टम) का उपयोग करके किया जाता है। इस प्रणाली का मूल्यांकन 2023 के ऑस्ट्रेलियाई भौतिकी ओलंपियाड के 1,500 से अधिक वास्तविक छात्र उत्तरों का उपयोग करके किया गया है। विशेष रूप से, टर्म रीराइटिंग सिस्टम के विकास और इसकी अंतिमता और संगम गुणों की स्थापना का विस्तृत विवरण दिया गया है।
