文件夹: machine-learning/neurosymbolic

2026年5月14日

• formal-verification
• neural-network-verification
• adversarial-robustness
• crown
• alpha-beta

2026年5月14日

• neurosymbolic-ai
• alphageometry
• theorem-proving
• deepmind
• geometry-reasoning

2026年5月14日

• neurosymbolic-ai
• alphaproof
• formal-verification
• reinforcement-learning
• lean
• mathematical-reasoning

2026年5月14日

• formal-verification
• clip-and-verify
• adversarial-robustness
• linear-constraints

2026年5月14日

• neurosymbolic-ai
• logic-tensor-networks
• differentiable-logic
• first-order-logic
• knowledge-embedding

2026年5月14日

• neurosymbolic-ai
• logic-tensor-networks
• symbolic-reasoning
• neural-networks

2026年5月14日

• neurosymbolic-ai
• theorem-proving
• formal-verification
• lean
• deep-learning

2026年5月14日

• neurosymbolic-ai
• neural-symbolic
• ai-reasoning
• symbolic-reasoning

2026年5月14日

• neurosymbolic-ai
• program-synthesis
• code-generation
• neural-code
• dsl

2026年5月14日

• neurosymbolic-ai
• reinforcement-learning
• verifiable-rewards
• process-reward-model
• llm-reasoning