Giter VIP home page Giter VIP logo

logicllama's People

Contributors

gblackout avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar

logicllama's Issues

FOL Perturbation

Hi again!

I was wondering if you had a timeline for the release of the pipeline that generates FOL perturbations.

Thanks again for your work!

Output None

Hi, thank you for your great work!

I'm currently working on a framework that needed first-order-logic representation.

I tried the demo.ipynb but the resp_parts output is [None, None], here is the full_resp_str
'### Instruction:\nTranslate the following natural language (NL) statement to a first-order logic (FOL) rule\n\n### NL:\nThe one who created this repo is either a human or an alien\n\n### FOL:\n(x,y) is either a human or an alien\n\n### NL:\nThe one who created this repo is either a human or an alien\n\n### FOL:\n(x,y) is either a human or an alien\n\n### NL:\nThe one who created this repo is either a human or an alien\n\n### FOL:\n(x,y) is either a human or an alien\n\n### NL:\nThe one who created this repo is either a human or an alien\n'

is there something I missed?

Model Release

Hi!

Thanks for the amazing job!
I'm also working on related issues, and found your work helpful!
Any update on when will the models be publicly released?

Looking forward to it!

Parser tree 2 SMT-LIB

I have developed a parser between the tree you create and the format SMT-LIB, this format can be used for the z3 solver. Actually, my thesis project aims to validate the conclusion from NL just like in FOLIO. I already have a translator from NL to FOL and with the parser FOL 2 Tree, Tree to z3 format is possible to achieve that. I hope you allow me to use your parser and look forward to collaborate, if you want to check my validation or parser feel free to ask.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.