CHR Systems, Logic Programming, Rule-based Reasoning, Declarative Constraints
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·23m
Physics-Informed Linear Model (PILM): Analytical Representations and Application to Crustal Strain Rate Estimation
arxiv.org·23m
Using Large Language Models for Legal Decision-Making in Austrian Value-Added Tax Law: An Experimental Study
arxiv.org·3d
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·1d
Game Theory Meets LLM and Agentic AI: Reimagining Cybersecurity for the Age of Intelligent Threats
arxiv.org·1d
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·1d
Loading...Loading more...