4 repos
sileod/reasoning_core
Procedural data generators for verifiable reasoning, synthetic pretraining, post-training,…
50
140 commits
sileod/reasoning-core
IBM/LNN
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
331
124 commits
bowen-upenn/PersonaMem-v2
PersonaMem-v2: Towards Personalized Intelligence via Learning Implicit User Personas and Agentic…
44
251 commits