-
最近の投稿
- Calibration Error for Decision Making
- Uncertainty-Aware Visual-Inertial SLAM with Volumetric Occupancy Mapping
- Handling Long-Term Safety and Uncertainty in Safe Reinforcement Learning
- A Controlled Study on Long Context Extension and Generalization in LLMs
- Takin: A Cohort of Superior Quality Zero-shot Speech Generation Models
-
最近のコメント
表示できるコメントはありません。 cs.AI (27125) cs.CL (20462) cs.CR (2134) cs.CV (33916) cs.LG (31871) cs.RO (15437) cs.SY (2406) eess.IV (4159) eess.SY (2400) stat.ML (4294)
「F.4; I.2.3; K.3.1」カテゴリーアーカイブ
On Exams with the Isabelle Proof Assistant
要約 イザベル証明アシスタントを使用して、自動推論のコースで学生の学習成果をテス … 続きを読む
カテゴリー: cs.AI, cs.LO, F.4; I.2.3; K.3.1
On Exams with the Isabelle Proof Assistant はコメントを受け付けていません