1 citations
- Korea Advanced Institute of Science and TechnologyKR2 papers
- Aalto UniversityFI1 paper
- Agency for Science, Technology and ResearchSG1 paper
- Artificial Intelligence in Medicine (Canada)CA1 paper
- Astrobotic (United States)US1 paper
- Bielefeld UniversityDE1 paper
- Birla Institute of Technology, MesraIN1 paper
- Centre for Quantum Computation and Communication TechnologyAU1 paper
- Centre for Quantum TechnologiesSG1 paper
- Chonnam National UniversityKR1 paper
- Chungbuk National UniversityKR1 paper
- Higher Institute of Applied ArtsEG1 paper
Showing cs.CLShow all
2 papers · 1 filter
cs.CL2026
Benchmarking Testing in Automated Theorem Proving
Jongyoon Kim, Hojae Han, Seung-won Hwang
Recent advances in large language models (LLMs) have shown promise in formal theorem proving, yet evaluating semantic correctness remains challenging. Existing evaluations rely on…
cs.CL2026
Enhancing Automated Essay Scoring With Three Techniques: Two-Stage Fine-Tuning, Score Alignment, and Self-Training
Hongseok Choi, Serynn Kim, Wencke Liermann +2
Automated Essay Scoring (AES) plays a crucial role in education by providing scalable and efficient assessment tools. However, in real-world settings, the extreme scarcity of label…