Wed Jul 1 · 3:45 PM · North 210 Chat-Based Support Alone May Not Be Enough: Comparing Conversational and Embedded LLM Feedback for Mathematical Proof Learning in Evaluating LLM-Based Feedback for Learning and Assessment