Loyola University of Chicago Department of Computer Science — AI4FM

Welcome to the official GitHub organization for the AI For Formal Methods (AI4FM) research group within the Department of Computer Science at Loyola University Chicago. We're a community of researchers, students, and collaborators advancing formal methods, rigorous system design, and reproducible research tools. (CS Department)

Our mission is to:

• Formal methods research that bridges logic, mathematics, and real-world computing systems.
• Foster collaborative projects across Computer Science and related fields.
• Build open tools, datasets, and workflows for formal methods, AI/ML, and LLM research.
• Support student research experiences through accessible open-source projects. (CS Research)

• Konstantin Läufer
• Mohammed Abuhamad
• George K. Thiruvathukal
• TaiNing Wang

• Arslan Bisharat

This organization hosts repositories supporting:

• Core research tools and libraries
• Data pipelines and experimental frameworks
• Papers, parsers, and utilities
• Community and education resources

Current public repositories include:

• tla-dataset-pipeline — Pipeline for aggragating and transforming TLA+ datasets
• FormaLLM — TLA+ prompting pipeline for open source and commercial LLM models
• paper-parse — Python utilities for PDF parsing
• FormaLLM-Reverse — FormaLLM Fork focused on reversing TLA+ to textual specification documentation

Note: More repositories and experimental projects may be visible depending on your access level. (LUC-AI4FM on GitHub)

If you are part of the Loyola CS community or interested in formal methods:

1. ⭐ Star repositories you find valuable
2. 🐛 Submit issues for bugs or feature requests
3. 🔀 Open pull requests for enhancements
4. 💬 Engage in discussions around design decisions

• Loyola Computer Science Research Groups – departmental research overview and labs. (Research Groups)
• Department of Computer Science at Loyola University Chicago – academic programs and faculty. (CS Department)
• Loyola Chicago Free & Open Source Software & Resources – other related GitHub orgs. (FOSS Resources)

Content in this organization follows the licenses specified per repository. Check individual repos for their licensing terms.

For general inquiries or collaboration interests:

• Reach out through repository issue trackers
• Contact faculty and contributors via the Loyola CS Department directory (Faculty Directory)

This organization builds upon the research culture and resources within the Loyola University Chicago Department of Computer Science — supporting students, faculty, and software engineering research. (CS Department)