标签
Md Mirajul Islam 在北卡罗来纳州立大学的博士论文提出了针对离线学徒学习和模仿学习的框架，从教室、ICU 等以人为本场景中的混合质量人类示范中学习，这些场景中在线试错既不安全也不可行。
本文介绍了作者的博士论文《解构Datalog》，该论文通过使用最小前缀点和类型系统中的单调性追踪，将Datalog的递归查询能力集成到一门类型化函数式语言（Datafun）中。