About
Research & Development
Oruga: Bridging Human Representational Flexibility with Machine Intelligence
TLDR: Oruga is a new system that implements Representational Systems Theory (RST), aiming to give machines the flexible representational skills seen in humans. It...
Research & Development
Unlocking LLM Reasoning: The Critical Role of Formal Languages in Neurosymbolic AI
TLDR: This research paper investigates the impact of formal intermediate languages on neurosymbolic LLM reasoning performance. It introduces the "intermediate language challenge," demonstrating that...
Research & Development
The Enduring Human Advantage: Why Our Biology Outperforms AI in Ethics and Leadership
TLDR: This research paper argues that despite AI's rapid advancements and potential to surpass human intelligence, humans retain a critical advantage: the central nervous...
Research & Development
Crafting Machine-Understandable Recipes with Action Graphs
TLDR: Researchers have developed a new Domain-Specific Language (DSL) that represents cooking recipes as "action graphs" to overcome the ambiguity and complexity of natural...
Research & Development
Exploring Markov Logic Networks: How Domain Size and Constraints Shape Probabilistic Outcomes
TLDR: This research paper investigates how Markov Logic Networks (MLNs) behave as the number of objects (domain size) tends to infinity. It analyzes three...
Research & Development
EvoEmo: Enhancing LLM Negotiation Through Adaptive Emotional Intelligence
TLDR: EvoEmo is an evolutionary reinforcement learning framework designed to optimize dynamic emotional expression for Large Language Model (LLM) agents in multi-turn negotiations. It...