Gateway07/AgenticSolver
Define a methodology and target architecture to solve benchmark tasks using an AI agent with minimal human involvement.
Repositories
Gateway07/Evolver
Counterexample Discovery & Theory Modeling by using OpenEvolve
Gateway07/NiceScorer
Multi-objective Goals Scoring
Gateway07/AspectTracer
Java tracing tool based on AspectJ