André Freitas

2
Papers
2
Total Citations

Papers (2)

Inductive Learning of Logical Theories with LLMs: A Expressivity-graded Analysis

AAAI 2025
2
citations

Controlling Equational Reasoning in Large Language Models with Prompt Interventions

AAAI 2025arXiv
0
citations