LLM Learning and Reasoning

Andreas Bexell (Lund University & Ericsson), Peng Kuang (Lund University)

Collective Decision Making

The reasoning task we choose is meeting scheduling.

The logic solver that we use to generate proofs for the LLM reasoning is MiniZinc

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
.gitignore		.gitignore
README.md		README.md
aiml.ipynb		aiml.ipynb
data_busy.dzn		data_busy.dzn
model.mzn		model.mzn
model_busy.mzn		model_busy.mzn
prompt.txt		prompt.txt
prompt_data.txt		prompt_data.txt