Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
-
Updated
Oct 15, 2026 - Python
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
🔥 [CVPR2024] Official implementation of "Self-correcting LLM-controlled Diffusion Models (SLD)
Cognitive prisms for structural analysis — any domain, any model. 1000+ experiments, 58 prisms, 27 scan modes. The cheapest model + right prism beats the most expensive without one. Cross-architecture validated: Claude + Gemini converge on the same structural laws.
[ICLR 2025] SuperCorrect: Advancing Small LLM Reasoning with Thought Template Distillation and Self-Correction
[ACL'24] Code and data of paper "When is Tree Search Useful for LLM Planning? It Depends on the Discriminator"
[ICLR 2025] Breaking Mental Set to Improve Reasoning through Diverse Multi-Agent Debate
SCoRe: Training Language Models to Self-Correct via Reinforcement Learning
SAGE: self-correcting autonomous research via Multi-Hypothesis Failure Attribution (MHFA). Diagnose many causes of a failed experiment, verify the most critical, and route the fix to the right level.
GenPark AI Agent Skill - Zeller's Delta Debugging (ddmin) algorithm minimizing failing code snippets, complex payloads, and config files to minimal reproducible examples (MRE).
GenPark AI Agent Skill - Parses Python stack traces into structured traceback frames, calculates Tarantula/Ochiai line suspiciousness scores, and isolates root-cause bug locations.
GenPark AI Agent Skill - Automated program repair (APR) engine mutating Python ASTs, applying template-driven bug fixes, and validating candidate patches.
GenPark AI Agent Skill - Synthesizes property-based and counterfactual unit test inputs (fuzzing boundary values, null states, edge cases) to reproduce runtime tool bugs.
GenPark AI Agent Skill - Synthesizes property-based and counterfactual unit test inputs (fuzzing boundary values, null states, edge cases) to reproduce runtime tool bugs.
GenPark AI Agent Skill - Parses Python stack traces into structured traceback frames, calculates Tarantula/Ochiai line suspiciousness scores, and isolates root-cause bug locations.
GenPark AI Agent Skill - Dynamically synthesizes and evaluates runtime assertions, pre/post-conditions, and state invariants to detect data corruption before crashes occur.
GenPark AI Agent Skill - Zeller's Delta Debugging (ddmin) algorithm minimizing failing code snippets, complex payloads, and config files to minimal reproducible examples (MRE).
GenPark AI Agent Skill - Dynamically synthesizes and evaluates runtime assertions, pre/post-conditions, and state invariants to detect data corruption before crashes occur.
GenPark AI Agent Skill - Automated program repair (APR) engine mutating Python ASTs, applying template-driven bug fixes, and validating candidate patches.
Reflexion metacognitive actor-evaluator agent maintaining verbal reinforcement reflection memory for iterative self-correction across trials.
Reflexion episodic failure memory buffer accumulating self-critiques and trial corrective plans
To associate your repository with the self-correction topic, visit your repo's landing page and select "manage topics."