gblackout / logicllama Goto Github PK
View Code? Open in Web Editor NEWLarge language model and dataset for natural language to first-order logic translation
License: Apache License 2.0
Large language model and dataset for natural language to first-order logic translation
License: Apache License 2.0
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!
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?
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!
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.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.