-
Notifications
You must be signed in to change notification settings - Fork 0
A rigorous foundation for provable agentic reasoning. Establishes a trust layer for neurosymbolic AI by formalizing optimization constraints in Lean 4. Replaces empirical approximation with deductive verification, ensuring agentic behaviors adhere to strict safety bounds.
License
contactvaibhavi/provable-optimization
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A rigorous foundation for provable agentic reasoning. Establishes a trust layer for neurosymbolic AI by formalizing optimization constraints in Lean 4. Replaces empirical approximation with deductive verification, ensuring agentic behaviors adhere to strict safety bounds.
Topics
program-synthesis
convex-optimization
mathlib
formal-logic
neural-symbolic
lean4
certifiable-robustness
chain-of-thought
neurosymbolic-ai
formal-reasoning
autoformalization
agentic-systems
grounded-reasoning
theoretical-ml
trustworthy-nlp
provable-ai
trustworthy-ml
mechanized-math
mechanized-reasoning
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published