2024 Fall Seminar (已结束)

1. 参与人员

主办方：南京大学智能科学与技术学院戴望州老师课题组

主讲人：宋奥齐、周桢瑜、苏浩、黎运泽、何语丛、王子龙、张欣爽、周昱辙

非常欢迎在校本科生来线下讨论！

2. 具体安排

时间：每周二晚上 18:30 ~ 20:30

地点：南雍楼东 515 室

序号 时间 主讲人 论文 参考材料
1 2024.10.15 宋奥齐 Oracle-Guided Component-Based Program Synthesis (EECS 2010) slides
周桢瑜 Contextual Markov Decision Processes (arXiv 2015) slides
2 2024.10.22 何语丛 Probabilistic grammars for equation discovery (Knowledge-Based Systems 2021) slides
苏浩 Symbolic metaprogram search improves learning efficiency and explains rule learning in humans (nature communications 2024) slides
3 2024.10.29 张欣爽 Dualformer: Controllable Fast and Slow Thinking by Learning with Randomized Reasoning Traces (arXiv 2024) slides
周昱辙 Learning Rules Explaining Interactive Theorem Proving Tactic Prediction (IJCLR 2024) slides
4 2024.11.05 王子龙 Learning Robust Reward Machines from Noisy Labels (KR 2024) slides
黎运泽 Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasets (arXiv 2024) slides
5 2024.11.12 宋奥齐 Universal Optimality of Dijkstra via Beyond-Worst-Case Heaps (FOCS 2024)
周桢瑜 Visualpredicator: learning abstract world models with neuro-symbolic predicates for robot planning (arXiv 2024) slides
6 2024.11.19 何语丛 SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training (ICLR 2024) slides
苏浩 The Scene Language: Representing Scenes With Programs, Words, and Embeddings (Arxiv 2024) slides
7 2024.11.26 苏浩 Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning (NeSy AI 2024) slides
宋奥齐 Universal Optimality of Dijkstra via Beyond-Worst-Case Heaps (FOCS 2024) slides

3. 注意事项

4. 以往讨论

2024 Summer

论文合集
序号 时间 主讲人 论文 Slides
1 2024.07.04 黎运泽 综述：多智能体系统 multi-agent system
2 2024.07.11 张欣爽 Integration of graph neural networks and genome-scale metabolic models for predicting gene essentiality FlowGAT
何语丛 Alternative approaches for generating bodies of grammar rules MDI algorithm
3 2024.07.18 王子龙 RL-Abductive learning RL-ABL
周昱辙 综述：基于提示词工程的 LLM 推理技术介绍 LLM reasoning
4 2024.07.26 何语丛 Automated Theorem Proving ATP
张欣爽 Named Entity recognition without gazetteers NER