Bruno Rucy Carneiro Alves de Lima

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)World Models & Planning (1)

Frequent co-authors

Victor Henrique Cabral Pinheiro (1)Evgenii Dolzhkov (1)Joseph Haske (1)

Papers (1)

Aug 5, 2026

Bruno Rucy Carneiro Alves de Lima +33w ago·also University of Tartu

Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models

Compiling recursive logic programs into quantum annealers could revolutionize how we solve complex computational problems by ensuring optimal solutions are reached efficiently.

Bruno Rucy Carneiro Alves de Lima, Victor Henrique Cabral Pinheiro, Evgenii Dolzhkov +1

Code Generation & Program Synthesis World Models & Planning

Search

Bruno Rucy Carneiro Alves de Lima

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)