v0.3.0: Neurosymbolic Core (Future) #7

Open

Labels

opened

on Apr 23, 2026

Goal: The 'NeSy' in eNSAID becomes real. Panel-N sends proof obligations to ECHIDNA; Panel-L draws constraints from proven.

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests