2 papers
cs.PL2025
Incoherence as Oracle-less Measure of Error in LLM-Based Code Generation
Thomas Valentin, Ardi Madadi, Gaetano Sapia +1
Generating code from a natural language programming task is one of the most successful applications of Large Language Models (LLMs). Yet, the generated program may be buggy. Withou…
cs.AI2025
On Scaling Neurosymbolic Programming through Guided Logical Inference
Thomas Jean-Michel Valentin, Luisa Sophie Werner, Pierre Genevès +1
Probabilistic neurosymbolic learning seeks to integrate neural networks with symbolic programming. Many state-of-the-art systems rely on a reduction to the Probabilistic Weighted M…