9 citations · 37 across the 32 of their papers we have counts for
Showing 2023 · cs.AIShow all
2 papers · 2 filters
cs.AI2023★ 2 cited
Natlog: Embedding Logic Programming into the Python Deep-Learning Ecosystem
Paul Tarau
Driven by expressiveness commonalities of Python and our Python-based embedded logic-based language Natlog, we design high-level interaction patterns between equivalent language co…
cs.AI2023★ 1 cited
Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles
Paul Tarau
We automate deep step-by step reasoning in an LLM dialog thread by recursively exploring alternatives (OR-nodes) and expanding details (AND-nodes) up to a given depth. Starting fro…