7 accepted papers
We propose a novel system, GeoProblem Factory, designed to effectively generate high-quality geometry problems for intelligent education. The system enables to efficiently produce batches of geometry problems for teachers and students, either to save time and manual effort or to support personalized
Robotic ultrasound systems offer significant potential for automated organ coverage scanning, yet acoustic shadows from bone structures can cause incomplete scans and missed diagnoses. This work presents a real-time coverage path planning method for bone-aware robotic ultrasound scanning. A voxel ba
The current robotic sliding detection tasks lack an effective contextual reasoning mechanism, which leads to inaccurate decision-making in unknown environments. To address this issue, we propose MambaSlip, which leverages the advantages of large language models (LLMs) in context understanding and re
We propose a novel system, MathMistake Checker, designed to automate step-by-step mistake finding in mathematical problems with lengthy answers through a two-stage process. The system aims to simplify grading, increase efficiency, and enhance learning experiences from a pedagogical perspective. It i…
The inherent flexibility and real-time deformation of breast tissue pose significant challenges for achieving full coverage and accurate lesion localization in autonomous breast ultrasound scanning. This paper introduces a robust finite state machine-based framework that mimics the decision-making p
In this paper, we study Chinese Spelling Correction (CSC) as a joint decision made by two separate models: a language model and an error model. Through empirical analysis, we find that fine-tuning BERT tends to over-fit the error model while under-fit the language model, resulting in poor generaliza…
Counterfactual regret minimization (CFR) is a fundamental and effective technique for solving Imperfect Information Games (IIG). However, the original CFR algorithm only works for discrete states and action spaces, and the resulting strategy is maintained as a tabular representation. Such tabular re…