Thursday 7 November 2024
EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:
- Improving JSON Schema Inference by Incorporating User Inputs, Stijn Broekhuis and Vadim Zaytsev, at BENEVOL 2024
- Avoiding distractions in parity games, Tom van Dijk, at AISoLA 2024 (pdf talk)
- Generative artificial intelligence tools in project-based learning, Tom van Dijk and Vadim Zaytsev, at AISoLA 2024 (talk)
- Towards Explainable Machine Learning for Prediction of Disease Progression, Berendse, S., Krabbe, J., Klaus, J., & Ahmed, F., in Applied Artificial Intelligence, 38(1)
