Hey! Thank you for the interest! I shall do that. Meanwhile, check out Page 11 o... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		barthelomew 5 months ago \| parent \| context \| favorite \| on: ProofOfThought: LLM-based reasoning using Z3 theor... Hey! Thank you for the interest! I shall do that. Meanwhile, check out Page 11 onwards. We describe a lot of situations! (https://arxiv.org/pdf/2409.17270)

pstoll 5 months ago [–]

Upvoting the comment that the gitrepo would be way more self stand-alone if it had an intro of the DSL.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact