Research author

Ruben Martins

2 AI research papers in the One9Founders library, with summaries and links to original sources.

Papers by Ruben Martins

Jul 16, 2026
cs.LO

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

Ruben Martins

Jul 10, 2026
cs.SE

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability

Shirley Yu, Ruben Martins

Ruben Martins — AI Research Papers | One9Founders