AGEL-Comp: Neuro-Symbolic AI for Robust Agent Reasoning
Discover AGEL-Comp, a neuro-symbolic framework enhancing AI agents' compositional generalization and reasoning in interactive environments.
Grounding vs Compositionality in Neuro-Symbolic AI Systems
Explore how grounding and compositional reasoning differ in neuro-symbolic AI, revealing their distinct roles in improving AI generalization and reasoning.
Auto-Relational Reasoning: Boosting AI Problem Solving
Discover how Auto-Relational Reasoning enhances machine learning with superior reasoning and problem-solving capabilities in AI models.
DreamProver: Adaptive Lemma Libraries for Theorem Proving
Discover how DreamProver’s wake-sleep agent evolves reusable lemma libraries, boosting automated theorem proving efficiency and adaptability.
Apriori Analysis of Learned Helplessness in Math Tutoring
Explore how Apriori analysis reveals behavioral patterns of learned helplessness in math tutoring and improve student outcomes with targeted interventions.