{"id":25253,"date":"2024-01-15T15:27:40","date_gmt":"2024-01-15T14:27:40","guid":{"rendered":"https:\/\/www.graviton.at\/letterswaplibrary\/dataset-for-training-llms-to-translate-english-into-statements-of-pure-zero-order-logic-zol\/"},"modified":"2024-01-15T15:27:40","modified_gmt":"2024-01-15T14:27:40","slug":"dataset-for-training-llms-to-translate-english-into-statements-of-pure-zero-order-logic-zol","status":"publish","type":"post","link":"https:\/\/www.graviton.at\/letterswaplibrary\/dataset-for-training-llms-to-translate-english-into-statements-of-pure-zero-order-logic-zol\/","title":{"rendered":"Dataset For Training LLMs To Translate English Into Statements Of Pure Zero-order Logic (ZOL)"},"content":{"rendered":"<p><!-- SC_OFF --><\/p>\n<div class=\"md\">\n<p>All my searching so far leads me to suspect that this is a dataset that does not exist. There are a bunch of datasets that primarily focus on examples of English-to-ZOL, but the creators always insist on throwing some first-order logic in there as well. I can explain why that&#8217;s a problem if anyone is genuinely curious (as opposed to simply wanting to have an argument.)<\/p>\n<p>TL;DR: I need a dataset that makes a point out of including examples of English (when a sentence actually allows for it) being translated <em>only<\/em> into ZOL, no higher-order logic whatsoever.<\/p>\n<\/div>\n<p><!-- SC_ON -->   submitted by   <a href=\"https:\/\/www.reddit.com\/user\/evangelos520\"> \/u\/evangelos520 <\/a> <br \/> <span><a href=\"https:\/\/www.reddit.com\/r\/datasets\/comments\/1978zj6\/dataset_for_training_llms_to_translate_english\/\">[link]<\/a><\/span>   <span><a href=\"https:\/\/www.reddit.com\/r\/datasets\/comments\/1978zj6\/dataset_for_training_llms_to_translate_english\/\">[comments]<\/a><\/span><\/p><div class='watch-action'><div class='watch-position align-right'><div class='action-like'><a class='lbg-style1 like-25253 jlk' href='javascript:void(0)' data-task='like' data-post_id='25253' data-nonce='65e0e39b87' rel='nofollow'><img class='wti-pixel' src='https:\/\/www.graviton.at\/letterswaplibrary\/wp-content\/plugins\/wti-like-post\/images\/pixel.gif' title='Like' \/><span class='lc-25253 lc'>0<\/span><\/a><\/div><\/div> <div class='status-25253 status align-right'><\/div><\/div><div class='wti-clear'><\/div>","protected":false},"excerpt":{"rendered":"<p>All my searching so far leads me to suspect that this is a dataset that does not&#8230;<\/p>\n","protected":false},"author":0,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[85],"tags":[],"class_list":["post-25253","post","type-post","status-publish","format-standard","hentry","category-datatards","wpcat-85-id"],"_links":{"self":[{"href":"https:\/\/www.graviton.at\/letterswaplibrary\/wp-json\/wp\/v2\/posts\/25253","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.graviton.at\/letterswaplibrary\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.graviton.at\/letterswaplibrary\/wp-json\/wp\/v2\/types\/post"}],"replies":[{"embeddable":true,"href":"https:\/\/www.graviton.at\/letterswaplibrary\/wp-json\/wp\/v2\/comments?post=25253"}],"version-history":[{"count":0,"href":"https:\/\/www.graviton.at\/letterswaplibrary\/wp-json\/wp\/v2\/posts\/25253\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.graviton.at\/letterswaplibrary\/wp-json\/wp\/v2\/media?parent=25253"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.graviton.at\/letterswaplibrary\/wp-json\/wp\/v2\/categories?post=25253"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.graviton.at\/letterswaplibrary\/wp-json\/wp\/v2\/tags?post=25253"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}