Popular repositories Loading

1. oegk-chatbot oegk-chatbot Public

   A GPT-5-powered chatbot for exploring and querying the OEGK knowledge graph from the OEP.

   Python 2

2. NL2FOL NL2FOL Public archive

   Natural Language To First Order Logic Formalization with fine-tuned LLMs

   Python 2

3. ANLFtFOLwFLLMs ANLFtFOLwFLLMs Public

   Natural language to first-order logic with fine-tuned LLMs and the GROVES dataset

   Python

4. unicode-fol-kit unicode-fol-kit Public

   Parser and toolkit for first-order logic formulas using Unicode operators (∀, ∃, ∧, ∨, ¬, →, ↔). Exports to Z3, Prover9, and TPTP.

   Python