Latticethe structure behind the noise

Papers Digest Topics Selected Labs Collections FAQ

Created by Flynn Lachendro

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

Vasco Manquinho | Lattice

Vasco Manquinho

Papers on Lattice

2

Total citations

0

Topics

4

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (2)Data Curation & Synthetic Data (1)Reasoning & Chain-of-Thought (1)Tool Use & Agents (1)

Frequent co-authors

Ricardo Brancas (1)Pedro Orvalho (1)Carolina Carreira (1)Ruben Martins (1)

Papers (2)

Jul 23, 2026

Ricardo Brancas +4Jul 23, 2026

What Bugs Do Prolog Students Write? An Empirical Taxonomy and Data-Driven Mutation Framework

LogMorph generates realistic Prolog bugs that reflect actual student mistakes, improving automated feedback tools in logic programming education.

Ricardo Brancas, Pedro Orvalho, Carolina Carreira +2

Code Generation & Program Synthesis Data Curation & Synthetic Data

May 26, 2026

CMU MLMay 26, 2026

ProDebug: An Automated Debugging System for Prolog

LLMs can now automatically debug Prolog code, offering personalized feedback at scale for logic programming education.

Ricardo Brancas, Vasco M. Manquinho, Vasco Manquinho +1

Code Generation & Program Synthesis Reasoning & Chain-of-Thought Tool Use & Agents

Ricardo Brancas (1)

Vasco M. Manquinho (1)

Ruben Martins (1)