Tag
This paper proposes a structural and dynamical framework for modeling cognitive processes using iterative state transformations and semantic equivalence, integrating dynamical systems, category theory, and feedback mechanisms to model cognition as a process evolving toward stable interpretations.
Researchers from University of Edinburgh propose a self-play framework using Liquid Haskell for formal verification to train LLMs on semantic equivalence reasoning, releasing OpInstruct-HSx dataset (28k programs) and achieving 13.3pp accuracy gains on EquiBench.