Picture for Paul Tarau

Paul Tarau

University of North Texas

On LLM-generated Logic Programs and their Inference Execution Methods

Add code
Feb 13, 2025
Viaarxiv icon

Through the Looking Glass, and what Horn Clause Programs Found There

Add code
Jul 29, 2024
Viaarxiv icon

Natlog: Embedding Logic Programming into the Python Deep-Learning Ecosystem

Add code
Aug 30, 2023
Figure 1 for Natlog: Embedding Logic Programming into the Python Deep-Learning Ecosystem
Figure 2 for Natlog: Embedding Logic Programming into the Python Deep-Learning Ecosystem
Figure 3 for Natlog: Embedding Logic Programming into the Python Deep-Learning Ecosystem
Figure 4 for Natlog: Embedding Logic Programming into the Python Deep-Learning Ecosystem
Viaarxiv icon

Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles

Add code
Jun 24, 2023
Viaarxiv icon

A Gaze into the Internal Logic of Graph Neural Networks, with Logic

Add code
Aug 05, 2022
Figure 1 for A Gaze into the Internal Logic of Graph Neural Networks, with Logic
Figure 2 for A Gaze into the Internal Logic of Graph Neural Networks, with Logic
Figure 3 for A Gaze into the Internal Logic of Graph Neural Networks, with Logic
Figure 4 for A Gaze into the Internal Logic of Graph Neural Networks, with Logic
Viaarxiv icon

Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch

Add code
Sep 17, 2021
Viaarxiv icon

Deriving Theorems in Implicational Linear Logic, Declaratively

Add code
Sep 22, 2020
Viaarxiv icon

Interactive Text Graph Mining with a Prolog-based Dialog Engine

Add code
Jul 31, 2020
Figure 1 for Interactive Text Graph Mining with a Prolog-based Dialog Engine
Figure 2 for Interactive Text Graph Mining with a Prolog-based Dialog Engine
Figure 3 for Interactive Text Graph Mining with a Prolog-based Dialog Engine
Figure 4 for Interactive Text Graph Mining with a Prolog-based Dialog Engine
Viaarxiv icon

Dependency-based Text Graphs for Keyphrase and Summary Extraction with Applications to Interactive Content Retrieval

Add code
Sep 20, 2019
Figure 1 for Dependency-based Text Graphs for Keyphrase and Summary Extraction with Applications to Interactive Content Retrieval
Figure 2 for Dependency-based Text Graphs for Keyphrase and Summary Extraction with Applications to Interactive Content Retrieval
Figure 3 for Dependency-based Text Graphs for Keyphrase and Summary Extraction with Applications to Interactive Content Retrieval
Figure 4 for Dependency-based Text Graphs for Keyphrase and Summary Extraction with Applications to Interactive Content Retrieval
Viaarxiv icon

Treating Coordination with Datalog Grammars

Add code
May 03, 1995
Viaarxiv icon