DCG Grammars, Logic Programming, Declarative Parsing, Constraint Solving
Cactus Language • Syntax 12
inquiryintoinquiry.com·2h
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·1d
ML in the Home
blog.raymond.burkholder.net·1d
Cactus Language • Syntax 10
inquiryintoinquiry.com·3d
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
Loading...Loading more...