Welcome to the homepage of CSE 645: Seminar in Languages, Fall 2024!
General Information
Course description: We will read papers and discuss research ranging from high-level specifications (such as logic, rules, and sets) to algorithms and methods for efficient implementations of programming languages, with a wide range of applications.
Everyone is welcome. If you are enrolled in the class, you are expected to attend a majority of the meetings and present a paper.
Instructors: Annie Liu, CR Ramakrishnan, Michael Kifer, David Warren, Paul Fodor.
Hours: Thursdays, 11AM-12:20PM ET on Zoom
https://stonybrook.zoom.us/j/94298584108?pwd=OXRLemROdk8xOHY3NXFRV2xjQmhVUT09
Schedule
08/29 Organization and topics discussion
09/05 Annie: Michael Kifer. Elements of Knowledge Representation with Rules (part 1)
Basics: rules, recursion, and negation (closed-world assumption, stratified, non-stratified)
09/12 Annie: Michael Kifer. Elements of Knowledge Representation with Rules (part 2)
Advanced: defeasible reasoning, higher-order, object-based, dynamic/updates, paraconsistency, uncertainty, probability
09/19 David: Two papers accepted in ICLP 2024:
David Warren. A Prolog Program for Bottom-up Evaluation (slides)
David Warren. The Semantics of Metaprogramming in Prolog (slides) (Background for Prolog semantics)
09/26 David will continue
10/03 Russell: Taichi: a language for high-performance computation on spatially sparse data structures, ACM Transactions on Graphics, Vol. 38, No. 6, 2019, https://dl.acm.org/doi/10.1145/3355089.3356506 , Slides
10/10 Jagadeesh: Borazjanizadeh, Nasim, and Steven T. Piantadosi. "Reliable Reasoning Beyond Natural Language." arXiv preprint arXiv:2407.11373 (2024). Slides
10/17 A good talk from ICLP, but skipped
10/24 Harshvardhan: Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code , ICSE '24: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, Article No.: 82, Pages 1 - 13. Slides
10/31 KaLok: Syntax-guided synthesis of Datalog programs. Proceedings of the 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018. Slides
11/7 Sagar: Eric Zelikman, Qian Huang, Gabriel Poesia, Noah D. Goodman, Nick Haber: Parsel : Algorithmic Reasoning with Language Models by Composing Decompositions, NeurIPS 2023. Slides
11/14 Video and discussions: Henry Kautz's invited talk at LPOP 2024
Neuro-symbolic AI, or Are We Already There? His slides and a position paper (first paper, pages 13-28)
11/21 Invited Talk:
Theresa Swift: Multi-paradigm Logic Programming in the ErgoAI System (abstract) (slides)
Swift, Theresa, and Michael Kifer. "Multi-paradigm Logic Programming in the ErgoAI System." In International Conference on Logic Programming and Nonmonotonic Reasoning, pp. 126-139. Cham: Springer Nature Switzerland, 2024.
11/26 Happy Thanksgiving!
12/5 Discussions: on using LLMs for trustworthy problem-solving/question-answering with logic programming, especially a discussion led by David on meta-interpreter of a rigorous rich knowledge-representation language for automatically generating answer explanations.
Moved to Spring: Invited Talk:
Benjamin Grosof: Directions for logic programs KRR: tractability, expressiveness, and integration with machine learning.