Lattice AI Research

Research focus

Code Generation & Program Synthesis (2)Data Curation & Synthetic Data (1)Natural Language Processing (1)RLHF & Preference Learning (1)

Frequent co-authors

Ricardo Brancas (1)Pedro Orvalho (1)Carolina Carreira (1)Vasco Manquinho (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

Jul 16, 2026

Ruben Martins +1Jul 16, 2026

Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience

LLMs can effectively assist in building complex solvers from academic literature, but human oversight remains crucial for validation and performance optimization.

Ruben Martins, Ruben Martins

Code Generation & Program Synthesis Natural Language Processing RLHF & Preference Learning

Search

Ruben Martins

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (2)