Pinned Repositories
binprolog
Fast, simplified WAM-based Prolog system
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
LogicTransformers
Transformers from Horn Clause Programs to Code Running on Lightweight Python, Swift, Julia and C-based VMs
natlog
Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
play
A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations
pypro
Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
recursors
Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles
StanzaGraphs
Multilingual STANZA-based Summary and Keyword Extractor and Question-Answering System using TextGraphs and Neural Networks
TypesAndProofs
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
ptarau's Repositories
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.
ptarau/iProlog
Java-based lightweight Prolog virtual machine
ptarau/TypesAndProofs
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
ptarau/recursors
Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles
ptarau/pypro
Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
ptarau/natlog
Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
ptarau/binprolog
Fast, simplified WAM-based Prolog system
ptarau/LogicTransformers
Transformers from Horn Clause Programs to Code Running on Lightweight Python, Swift, Julia and C-based VMs
ptarau/StanzaGraphs
Multilingual STANZA-based Summary and Keyword Extractor and Question-Answering System using TextGraphs and Neural Networks
ptarau/PrologTutorial
A Prolog Tutorial with Focus on Solving Interesting Problems
ptarau/mnemosyne
ptarau/neuralgs
Experiments with neural networks learning theorem proving and complex recursion-heavy algorithms
ptarau/AnswerStreamGenerators
Literate Prolog program and LaTeX sources for paper on Answer Stream Generators
ptarau/PythonProvers
Intuitionistic Theorem Provers and Formula Generators in Python
ptarau/sentify
A tool that converts documents to clean one sentence per line text files ready for NLP and Generative AI processing
ptarau/sumbert
Abstractive BERT-based Text Summarizer
ptarau/LeanProlog
ptarau/DeepTalk
A Python+Prolog based Dialog Engine using the Python package text_graph_crafts that extracts the highest ranked sentences answering a query
ptarau/sudoku_in_style
Generic Sudoku solvers and generators in Python and Prolog, coded with elegance in mind
ptarau/generalized_game_of_24
Solver and generator for generalized game of 24
ptarau/PyPL
Programming Language Concepts in Python
ptarau/Tree-based-Arithmetic-Systems-in-Python
Arithmetic Systems Using Trees Instead of Bit-strings. Scale up to computations with very large, super-exponential numbers.
ptarau/CrackerBarrelPegPuzzle
Python code solving the puzzle at: https://shop.crackerbarrel.com/toys-games/games/travel-games/peg-game/606154
ptarau/datasets
Several machine learning datasets
ptarau/EvalCrafts
Evaluation scripts for summary and keyphrase extractors.
ptarau/output_samples
ptarau/papers_with_code
ptarau/ptarau.github.io
Paul Tarau's Site
ptarau/sentence_store
extract and store sentence embeddings to a fast and scalable vector db
ptarau/vecstore
Dynamically expandable Vector Store for embeddings, using the HNSW library