CHR, Logic Programming, Rule Systems, Constraint Propagation
What can we expect of LLMs as Software Engineers?
chelseatroy.com·2d
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·10h
Exploring Prompt Learning: Using English Feedback to Optimize LLM Systems
towardsdatascience.com·16h
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
Can We Predict Alignment Before Models Finish Thinking? Towards Monitoring Misaligned Reasoning Models
arxiv.org·10h
Build AI-driven policy creation for vehicle data collection and automation using Amazon Bedrock
aws.amazon.com·2d
Overview of the Sensemaking Task at the ELOQUENT 2025 Lab: LLMs as Teachers, Students and Evaluators
arxiv.org·10h
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·1d
Loading...Loading more...