mathtutor-on-groqMath Tutor on Groq是一个由Groq驱动的AI数学家教项目,它利用8090的xRx框架、Whisper和Llama 3.3 70b模型以及Elevenlabs的TTS技术,以实时对话的方式回应学生的数学问题。Groq的高速度使得复杂问题的响应几乎瞬间完成,提供了流畅的学习体验。该项目还可以通过内部数学引擎解决代数和微积分问题,然后将解决方案作为上下文提供给AI,以提高回应的准确性。
Voice CoachVoice Coach 是一款基于AI技术的在线对话练习工具,旨在帮助用户通过模拟真实场景的对话练习,提升沟通能力、表达技巧和自信心。其技术核心在于利用自然语言处理和机器学习算法,为用户提供实时反馈和评分,帮助用户发现并改进表达中的不足。该产品适合需要在职场、学术或社交场合中提升沟通能力的用户,通过反复练习,用户可以更好地应对各种复杂对话场景。目前,Voice Coach 以订阅模式提供服务,用户可以根据自身需求选择不同的套餐,价格从每月几十美元到几百美元不等,具体定价因套餐内容而异。
Confucius-o1-14BConfucius-o1-14B是由网易有道团队开发的推理模型,基于Qwen2.5-14B-Instruct优化而成。它采用两阶段学习策略,能够自动生成推理链,并总结出逐步的问题解决过程。该模型主要面向教育领域,尤其适合K12数学问题的解答,能够帮助用户快速获取正确解题思路和答案。模型具备轻量化的特点,无需量化即可在单个GPU上部署,降低了使用门槛。其推理能力在内部评估中表现出色,为教育领域的AI应用提供了强大的技术支持。
BrainDeckAnki Flashcards - BrainDeck是一款基于智能间隔重复技术设计的教育类APP,旨在帮助用户通过科学的记忆方法来提高学习效率。该应用允许用户创建个性化的抽认卡,通过AI技术自动调整学习计划,确保用户在最佳时间复习知识点,从而达到长期记忆的效果。此外,它还提供了社区图书馆,用户可以在这里找到并保存涵盖各种主题的预制抽认卡。
Awesome-LLM-Post-trainingAwesome-LLM-Post-training 是一个专注于大型语言模型(LLM)后训练方法的资源库。它提供了关于 LLM 后训练的深入研究,包括教程、调查和指南。该资源库基于论文《LLM Post-Training: A Deep Dive into Reasoning Large Language Models》,旨在帮助研究人员和开发者更好地理解和应用 LLM 后训练技术。该资源库免费开放,适合学术研究和工业应用。
easegen-admineasegen-admin是一个开源的数字人课程制作平台,旨在通过开源为AI发展做出贡献。该平台前端基于Vue3 + element-plus实现,后端基于ruoyi-vue-pro实现,智能课件基于文多多实现。它提供了课程制作页面、我的视频页面、智能课件页面以及智能出题页面,支持视频展示和智能出题,是一个综合性的教育技术产品。
Better Call SantaBetter Call Santa是一款在节日期间为家庭带来欢乐的应用程序。通过这个应用,孩子们可以与圣诞老人进行个性化通话,分享他们的圣诞愿望。家长可以在一个秘密列表中查看孩子的心愿,确保全家都能享受到愉快的节日体验。这款应用支持超过30种语言,适合不同语言背景的家庭使用。