ptarau/AnswerStreamGenerators ptarau/AnswerStreamGenerators

  • Stars
    star
    5
  • Rank 2,848,865 (Top 57 %)
  • Language
    TeX
  • License
    Apache License 2.0
  • Created over 5 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ptarau/AnswerStreamGenerators
github

ptarau

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

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.
Python
31
star
2

iProlog

Java-based lightweight Prolog virtual machine
Java
28
star
3

TypesAndProofs

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Prolog
26
star
4

pypro

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

binprolog

Fast, simplified WAM-based Prolog system
C
15
star
6

recursors

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

StanzaGraphs

Multilingual STANZA-based Summary and Keyword Extractor and Question-Answering System using TextGraphs and Neural Networks
Python
9
star
8

play

A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations
Prolog
8
star
9

natlog

Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
Python
7
star
10

pytalk

Python-based summary and keyword extractor and question answering system with optional BERT-based post-processing filter and spoken output
Python
7
star
11

PrologTutorial

A Prolog Tutorial with Focus on Solving Interesting Problems
Prolog
7
star
12

LogicTransformers

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

neuralgs

Experiments with neural networks learning theorem proving and complex recursion-heavy algorithms
Python
6
star
14

PythonProvers

Intuitionistic Theorem Provers and Formula Generators in Python
Python
5
star
15

LeanProlog

Prolog
4
star
16

sumbert

Abstractive BERT-based Text Summarizer
Python
4
star
17

TextGraphCrafts

Python-based summary, keyphrase and relation extractor from text documents using dependency graphs
Prolog
4
star
18

DeepTalk

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

sudoku_in_style

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

PyPL

Programming Language Concepts in Python
Python
2
star
21

jinniprolog

Automatically exported from code.google.com/p/jinniprolog
Java
2
star
22

PyDS

Data Structures and Algorithms in Python
Python
2
star
23

kernel-prolog

Automatically exported from code.google.com/p/kernel-prolog
HTML
2
star
24

Giant-Numbers-in-Haskell

Hereditarily Binary Numbers - a tree representation of giant numbers with a complete set of arithmetic operations
Haskell
2
star
25

Tree-based-Arithmetic-Systems-in-Haskell

Arithmetic computations with tree-based systems, supporting very large, super-exponential numbers
Haskell
1
star
26

CrackerBarrelPegPuzzle

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

Tree-based-Arithmetic-Systems-in-Python

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