Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Narcissus: Program Synthesis Using Context-Aware LLM Approximations
Tilman Hinnerichs, Sebastijan Dumancic, Neil Yorke-Smith
Large language models (LLMs) excel at programming, but not when the task fixes the target language: prompted with a grammar rare in their training data, their programs usually brea…
cs.AI2024
Declarative Design of Neural Predicates in Neuro-Symbolic Systems
Tilman Hinnerichs, Robin Manhaeve, Giuseppe Marra +1
Neuro-symbolic systems (NeSy), which claim to combine the best of both learning and reasoning capabilities of artificial intelligence, are missing a core property of reasoning syst…