Skip to content

Carter907/logic-loop

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

18 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Logic-Loop


This app tests your logic skills by generating logic puzzles using natural language processing.

This project generates questions based on the propositional calculus of discrete mathematics. The goal is to use this API is to test your skills at logic. The api itself is more focused on making the questions as accurate and effective as possible. The program will have a system validate generated responses for correctness.

For instance, a question like...

$$ s \implies q $$ $$ \text{fill in the blank} $$ $$ \therefore\ q $$

you would answer $s$

Obviously, this is a very basic sample, but they would get more and more complex with development. The end goal is to have an AI generate complex logical equivalances that you would deduce through inference rules.

The end goal:

generate random questions similar to the following from my textbook:

image image

I believe that if we can make an API that uses an LLM and structured generation, we could replicit these sorts of questions. I want to do this because I think getting good at logic and deducing the validity of arguments is a fun and rewarding experience!

About

A Full-stack web app for practicing your logic skills backed meta's Ollama platform.

Topics

Resources

Stars

Watchers

Forks