Search papers, labs, and topics across Lattice.
2
0
4
LogMorph generates realistic Prolog bugs that reflect actual student mistakes, improving automated feedback tools in logic programming education.
MaxSAT-based feedback boosts the logical consistency of Vision-Language Models, leading to a notable increase in solved Sudoku instances.
