ptarau

DeepRank

A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algorithm like *PageRank*, can extract relevant keywords and summaries from text documents.

iProlog

Java-based lightweight Prolog virtual machine

TypesAndProofs

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

recursors

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

pypro

Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python

natlog

Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools

binprolog

Fast, simplified WAM-based Prolog system

StanzaGraphs

Multilingual STANZA-based Summary and Keyword Extractor and Question-Answering System using TextGraphs and Neural Networks

LogicTransformers

Transformers from Horn Clause Programs to Code Running on Lightweight Python, Swift, Julia and C-based VMs

PrologTutorial

A Prolog Tutorial with Focus on Solving Interesting Problems

mnemosyne

neuralgs

Experiments with neural networks learning theorem proving and complex recursion-heavy algorithms

PythonProvers

Intuitionistic Theorem Provers and Formula Generators in Python

sumbert

Abstractive BERT-based Text Summarizer

AnswerStreamGenerators

Literate Prolog program and LaTeX sources for paper on Answer Stream Generators

LeanProlog

sentify

A tool that converts documents to clean one sentence per line text files ready for NLP and Generative AI processing

DeepTalk

A Python+Prolog based Dialog Engine using the Python package text_graph_crafts that extracts the highest ranked sentences answering a query

sudoku_in_style

Generic Sudoku solvers and generators in Python and Prolog, coded with elegance in mind

generalized_game_of_24

Solver and generator for generalized game of 24

PyPL

Programming Language Concepts in Python

Tree-based-Arithmetic-Systems-in-Python

Arithmetic Systems Using Trees Instead of Bit-strings. Scale up to computations with very large, super-exponential numbers.

CrackerBarrelPegPuzzle

Python code solving the puzzle at: https://shop.crackerbarrel.com/toys-games/games/travel-games/peg-game/606154

chatbook

Python-based summary and keyword extractor and question answering system about a document's content

datasets

Several machine learning datasets

EvalCrafts

Evaluation scripts for summary and keyphrase extractors.

papers_with_code

ptarau.github.io

Paul Tarau's Site

sentence_store

extract and store sentence embeddings to a fast and scalable vector db

vecstore

Dynamically expandable Vector Store for embeddings, using the HNSW library